Treffer: Tools and algorithms for the construction and analysis of systems
Titel:
Tools and algorithms for the construction and analysis of systems : 6th international conference ; proceedings / TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000. Susanne Graf ; Michael Schwartzbach (ed.)
Verantwortlich:
Körperschaft:
Veröffentlicht:
Berlin : Springer, 2000
Umfang:
XIV, 552 Seiten : Diagramme ; 24 cm
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture notes in computer science ; 1785
alle Bände anzeigen
alle Bände anzeigen
Anmerkungen:
Literaturangaben
RVK-Notation:
Schlagworte:
ISBN:
3540672826