Produktart
Zustand
Einband
Weitere Eigenschaften
Land des Verkäufers
Verkäuferbewertung
Verlag: Springer, 2000
ISBN 10: 3540672826ISBN 13: 9783540672821
Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USA
Buch
Zustand: Good. *Price HAS BEEN REDUCED by 10% until Monday, April 29 (sale item)* 552 pp., Paperback, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Verlag: Springer, 2000
ISBN 10: 3540672826ISBN 13: 9783540672821
Anbieter: GuthrieBooks, Spring Branch, TX, USA
Buch
Paperback. Zustand: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Verlag: Springer, 2000
ISBN 10: 3540672826ISBN 13: 9783540672821
Anbieter: booksXpress, Bayonne, NJ, USA
Buch
Soft Cover. Zustand: new.
Verlag: Springer, 2000
ISBN 10: 3540672826ISBN 13: 9783540672821
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Buch
Zustand: New.
Verlag: Springer, 2000
ISBN 10: 3540672826ISBN 13: 9783540672821
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Buch Print-on-Demand
Zustand: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Verlag: Springer Berlin Heidelberg Mrz 2000, 2000
ISBN 10: 3540672826ISBN 13: 9783540672821
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Buch Print-on-Demand
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2000, held as part of ETAPS 2000 in Berlin, Germany, in March/April 2000.The 33 revised full papers presented together with one invited paper and two short tool descriptions were carefully reviewed and selected from a total of 107 submissions. The papers are organized in topical sections on software and formal methods, formal methods, timed and hybrid systems, infinite and parameterized systems, diagnostic and test generation, efficient model checking, model-checking tools, symbolic model checking, visual tools, and verification of critical systems. 572 pp. Englisch.
Verlag: Springer, 2000
ISBN 10: 3540672826ISBN 13: 9783540672821
Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland
Buch
Zustand: Sehr gut. Auflage: 2000. 570 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Sprache: Englisch Gewicht in Gramm: 969 23,6 x 15,5 x 3,0 cm, Taschenbuch.
Verlag: Springer Berlin Heidelberg, 2000
ISBN 10: 3540672826ISBN 13: 9783540672821
Anbieter: moluna, Greven, Deutschland
Buch Print-on-Demand
Kartoniert / Broschiert. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2000, held as part of ETAPS 2000 in Berlin, Germany, in March/April 2000.The 33 revised full p.
Verlag: Springer Berlin Heidelberg, 2000
ISBN 10: 3540672826ISBN 13: 9783540672821
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2000, held as part of ETAPS 2000 in Berlin, Germany, in March/April 2000.The 33 revised full papers presented together with one invited paper and two short tool descriptions were carefully reviewed and selected from a total of 107 submissions. The papers are organized in topical sections on software and formal methods, formal methods, timed and hybrid systems, infinite and parameterized systems, diagnostic and test generation, efficient model checking, model-checking tools, symbolic model checking, visual tools, and verification of critical systems.
Verlag: Springer, 2000
ISBN 10: 3540672826ISBN 13: 9783540672821
Anbieter: dsmbooks, Liverpool, Vereinigtes Königreich
Buch
Paperback. Zustand: Like New. Like New. book.