Faites connaître cet article à vos amis:
Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, Tacas '98, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps '98, Lisbon, Portugal, March 28 - April 4, 1998 Proceeding J Van Leeuwen
Prix
€ 50,49
Commandé depuis un entrepôt distant
Livraison prévue 7 - 15 janv. 2026
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier
Nos clients disent :
Ajouter à votre liste de souhaits iMusic
Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, Tacas '98, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps '98, Lisbon, Portugal, March 28 - April 4, 1998 Proceeding
J Van Leeuwen
Taken from TACAS'98, this volume is devoted to conceptual foundations, development, and applications of tools and algorithms for the specification, verification, analysis, and construction of software and hardware systems.
461 pages, biography
| Médias | Livres Paperback Book (Livre avec couverture souple et dos collé) |
| Validé | 18 mars 1998 |
| ISBN13 | 9783540643562 |
| Éditeurs | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 461 |
| Dimensions | 155 × 233 × 24 mm · 675 g |
| Langue et grammaire | Allemand |
| Éditeur | Steffen, Bernhard |
