Formal methods and software development: Proceedings of TAPSOFT 1985 - Berlin / Volume 2: Colloquium on Software Engineering (CSE). Lecture notes in computer science ; Volume 186

Ehrig, Hartmut:

ISBN 10: 3540151990 / ISBN 13: 9783540151999

Edité par Berlin ; Heidelberg ; New York ; Tokyo : Springer, 1985

A propos de cet article

XIV, 455 Seiten : graph. Darst. Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 740. N° de réf. du vendeur 1698594

Détails bibliographiques

Titre : Formal methods and software development: ...

Éditeur : Berlin ; Heidelberg ; New York ; Tokyo : Springer

Date d'édition : 1985

Reliure : Broschiert

Etat : Gut

A propos de ce titre

Synopsis :

No Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (Tapsoft), Berlin, March 25-29, 1985 Read a customer review or write one .