Powiedz znajomym o tym przedmiocie:
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
Cena
zł 211,90
Zamówione z odległego magazynu
Przewidywana dostawa 12 - 20 sty 2026
Świąteczne prezenty można zwracać do 31 stycznia
Nasi klienci mówią:
Dodaj do swojej listy życzeń 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
| Media | Książki Paperback Book (Książka z miękką okładką i klejonym grzbietem) |
| Wydane | 18 marca 1998 |
| ISBN13 | 9783540643562 |
| Wydawcy | Springer-Verlag Berlin and Heidelberg Gm |
| Strony | 461 |
| Wymiary | 155 × 233 × 24 mm · 675 g |
| Język | Niemiecki |
| Redaktor | Steffen, Bernhard |
