Freunden von diesem Artikel berichten:
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
Preis
SFr. 44,99
exkl. MwSt.
Bestellware
Lieferdatum: ca. 7. - 15. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen
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
| Medien | Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken) |
| Erscheinungsdatum | 18. März 1998 |
| ISBN13 | 9783540643562 |
| Verlag | Springer-Verlag Berlin and Heidelberg Gm |
| Seitenanzahl | 461 |
| Maße | 155 × 233 × 24 mm · 675 g |
| Sprache | Deutsch |
| Redakteur | Steffen, Bernhard |
Weitere Titel von J Van Leeuwen
Alle anzeigen
Alle Titel von J Van Leeuwen ansehen ( u. a. Taschenbuch )