Vertel uw vrienden over dit artikel:
Tools and Algorithms for the Construction of Analysis of Systems: 5th International Conference, Tacas '99, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps '99, Amsterdam, the Netherlands, March 22-28, 1999: Proceed
W R Cleaveland
Prijs
€ 68,49
Besteld in een afgelegen magazijn
Verwachte levering 17 - 26 dec.
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
Tools and Algorithms for the Construction of Analysis of Systems: 5th International Conference, Tacas '99, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps '99, Amsterdam, the Netherlands, March 22-28, 1999: Proceed
W R Cleaveland
This text presents the proceedings of the 5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. The papers are organized into topical sections on areas such as real time systems, compositionality and abstraction, symbolic analysis and process algebras.
468 pages, biography
| Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 10 maart 1999 |
| ISBN13 | 9783540657033 |
| Uitgevers | Springer-Verlag Berlin and Heidelberg Gm |
| Pagina's | 468 |
| Afmetingen | 156 × 234 × 23 mm · 648 g |
| Uitgever | Cleaveland, W. Rance |
Bekijk alles van W R Cleaveland ( bijv. Paperback Book )