Verwandte Artikel zu Tools and Algorithms for the Construction and Analysis...

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European ... Computer Science and General Issues) - Softcover

 
9783642198342: Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European ... Computer Science and General Issues)

Inhaltsangabe

This book constitutes the refereed proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, held in Saarbrücken, Germany, March 26―April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. The 32 revised full papers presented were carefully reviewed and selected from 112 submissions. The papers are organized in topical sections on memory models and consistency, invariants and termination, timed and probabilistic systems, interpolations and SAT-solvers, learning, model checking, games and automata, verification, and probabilistic systems.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Von der hinteren Coverseite

This book constitutes the refereed proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, held in Saarbrücken, Germany, March 26—April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software.

The 32 revised full papers presented were carefully reviewed and selected from 112 submissions. The papers are organized in topical sections on memory models and consistency, invariants and termination, timed and probabilistic systems, interpolations and SAT-solvers, learning, model checking, games and automata, verification, and probabilistic systems.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Gebraucht kaufen

Zustand: Sehr gut
Zustand: Sehr gut | Seiten: 394...
Diesen Artikel anzeigen

Gratis für den Versand innerhalb von/der Deutschland

Versandziele, Kosten & Dauer

Gratis für den Versand innerhalb von/der Deutschland

Versandziele, Kosten & Dauer

Weitere beliebte Ausgaben desselben Titels

9783642198366: Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Pro

Vorgestellte Ausgabe

ISBN 10:  3642198368 ISBN 13:  9783642198366
Verlag: Springer, 2011
Softcover

Suchergebnisse für Tools and Algorithms for the Construction and Analysis...

Beispielbild für diese ISBN

Unbekannt
Verlag: Springer-Verlag GmbH, 2011
ISBN 10: 3642198341 ISBN 13: 9783642198342
Gebraucht Softcover

Anbieter: Buchpark, Trebbin, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 394 | Sprache: Englisch | Produktart: Bücher. Bestandsnummer des Verkäufers 10523236/12

Verkäufer kontaktieren

Gebraucht kaufen

EUR 48,30
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Foto des Verkäufers

Abdulla, Parosh Aziz|Leino, K.Rustan M.
ISBN 10: 3642198341 ISBN 13: 9783642198342
Neu Softcover

Anbieter: moluna, Greven, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Bestandsnummer des Verkäufers 5052009

Verkäufer kontaktieren

Neu kaufen

EUR 64,08
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 3 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

. Ed(s): Abdulla, Parosh Aziz; Leino, K. Rustan M.
ISBN 10: 3642198341 ISBN 13: 9783642198342
Neu Softcover

Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Constitutes the refereed proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, that was held in Saarbrucken, Germany, March 26 - April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. Editor(s): Abdulla, Parosh Aziz; Leino, K. Rustan M. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 394 pages, 104 black & white illustrations, 30 colour illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 612. . 2011. Paperback. . . . . Bestandsnummer des Verkäufers V9783642198342

Verkäufer kontaktieren

Neu kaufen

EUR 74,99
Währung umrechnen
Versand: EUR 2,00
Von Irland nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 3 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Adbulla, Parosh Aziz (Editor)/ Leino, K, Rustan M. (Editor)
ISBN 10: 3642198341 ISBN 13: 9783642198342
Neu Paperback

Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Paperback. Zustand: Brand New. 2011 edition. 394 pages. 9.20x6.10x0.90 inches. In Stock. Bestandsnummer des Verkäufers x-3642198341

Verkäufer kontaktieren

Neu kaufen

EUR 82,02
Währung umrechnen
Versand: EUR 11,81
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

. Ed(s): Abdulla, Parosh Aziz; Leino, K. Rustan M.
ISBN 10: 3642198341 ISBN 13: 9783642198342
Neu Softcover

Anbieter: Kennys Bookstore, Olney, MD, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Constitutes the refereed proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, that was held in Saarbrucken, Germany, March 26 - April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. Editor(s): Abdulla, Parosh Aziz; Leino, K. Rustan M. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 394 pages, 104 black & white illustrations, 30 colour illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 612. . 2011. Paperback. . . . . Books ship from the US and Ireland. Bestandsnummer des Verkäufers V9783642198342

Verkäufer kontaktieren

Neu kaufen

EUR 91,97
Währung umrechnen
Versand: EUR 1,92
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 3 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 2011
ISBN 10: 3642198341 ISBN 13: 9783642198342
Neu Softcover

Anbieter: Lucky's Textbooks, Dallas, TX, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Bestandsnummer des Verkäufers ABLING22Oct2817100464381

Verkäufer kontaktieren

Neu kaufen

EUR 56,39
Währung umrechnen
Versand: EUR 65,58
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Parosh Aziz Abdulla
ISBN 10: 3642198341 ISBN 13: 9783642198342
Neu Paperback

Anbieter: Grand Eagle Retail, Fairfield, OH, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Paperback. Zustand: new. Paperback. This book constitutes the refereed proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, held in Saarbruecken, Germany, March 26April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software.The 32 revised full papers presented were carefully reviewed and selected from 112 submissions. The papers are organized in topical sections on memory models and consistency, invariants and termination, timed and probabilistic systems, interpolations and SAT-solvers, learning, model checking, games and automata, verification, and probabilistic systems. This book constitutes the refereed proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, held in Saarbruecken, Germany, March 26April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Bestandsnummer des Verkäufers 9783642198342

Verkäufer kontaktieren

Neu kaufen

EUR 59,99
Währung umrechnen
Versand: EUR 65,58
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb