TAPSOFT '93: Theory and Practice of Software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings (Lecture Notes in Computer Science)
11 Angebote vergleichen

Lieferung aus: Vereinigte Staaten von Amerika, Versandkostenfrei nach: USA.
Von Händler/Antiquariat, Better World Books.
Springer-Verlag. Used - Good. Former Library book. Shows some signs of wear, and may have some markings on the inside. 100% Money Back Guarantee. Shipped to over one million happy customers. Your purchase benefits world literacy!

getbooks GmbH, [4040832].
780 Seiten TaschenbuchGepflegtes ehemaliges Bibliothek***emplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer) in der Regel foliiert (Umschlag aus selbstklebender Folie). Zustand unter Berücksichtigung des Alters gut. Tagesaktueller, sicherer und weltweiter Versand. Wir liefern grundsätzlich mit beiliegender Rechnung. 655141.01.

Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, DelhiBookStore.
This volume contains the proceedings of the fourth International Joint Conference on the Theory and Practice of Software Development, TAPSOFT '93. Since the first in 1985, the aim of these conferences has been to bring together theoretical computer scientists and researchers in software engineering with a view to discussing how formal methods can usefully be applied in software development. TAPSOFT '93 consists of three parts: an advanced seminar, the Colloquium on Trees in Algebra and Programming (CAAP), and the Colloquium on Formal Approaches of Software Engineering (FASE). The advanced seminar includes four invited surveys and four invited conferences. The selected papers for CAAP are organized in seven sessions: specifications and proofs, concurrency, automata and counting, constraints solving, rewriting, logic and trees, analysis of algorithms, and a common session with FASE on type inference. The selected papers for FASE are presented in eight sessions: case studies in formal design and development, compositionality modules and development, formal development, foundations and analysis of formal specifications, verification of concurrent systems, model checking, parallel calculus, and a common session with CAAP on type inference. Paperback, Label: Springer-Verlag, Springer-Verlag, Produktgruppe: Book, Publiziert: 1993-04, Studio: Springer-Verlag.

Lieferung aus: Vereinigte Staaten von Amerika, Versandkosten nach: USA.
Von Händler/Antiquariat, Ergodebooks.
Springer-Verlag, 1993-04-01. Paperback. Used:Good. Buy with confidence. Excellent Customer Service & Return policy. Ships Fast. 24*7 Customer Service.

Lieferung aus: Deutschland, Versandkostenfrei.
buecher.de GmbH & Co. KG, [1].
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen

Von Händler/Antiquariat, AHA-BUCH GmbH [51283250], Einbeck, Germany.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen

Lieferung aus: Deutschland, Versandfertig in 5 - 7 Tagen.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen

Von Händler/Antiquariat, ExtremelyReliable [8304062], Richmond, TX, U.S.A.
Buy with confidence. Excellent Customer Service & Return policy.

Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Lagernd.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen

Lieferung aus: Vereinigte Staaten von Amerika, zzgl. Versandkosten, Verandgebiet: DOM.
Von Händler/Antiquariat, ExtremelyReliable, TX, Richmond, [RE:4].
Paperback.