Vertel uw vrienden over dit artikel:
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
Prijs
€ 50,99
Besteld in een afgelegen magazijn
Verwachte levering 6 - 14 jan. 2026
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
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
| Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 18 maart 1998 |
| ISBN13 | 9783540643562 |
| Uitgevers | Springer-Verlag Berlin and Heidelberg Gm |
| Pagina's | 461 |
| Afmetingen | 155 × 233 × 24 mm · 675 g |
| Taal en grammatica | Duits |
| Uitgever | Steffen, Bernhard |
