Tools and Algorithms for the Construction and Analysis of Systems
6th International Conference, 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 Proceedings, Lecture Notes in Computer Science 1785
Susanne Graf/Michael Schwartzbach
€106.99
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Weitere Details
Erschienen: 15.03.2000
Umfang: xiv, 552 S.
Sprache: ENG
Einband: KT
Format: 3.1 x 23.4 x 15.5 cm
ISBN/EAN: 9783540672821
Umbreit-Nr.: 1473364
