Verwandte Artikel zu Verification, Model Checking, and Abstract Interpretation:...

Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. ... Computer Science and General Issues) - Softcover

 
9783662491218: Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. ... Computer Science and General Issues)
Softcover
ISBN 10: 3662491214 ISBN 13: 9783662491218
Verlag: Springer, 2015

Inhaltsangabe

This book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The  24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selected from 67 submissions. 

VMCAI provides topics including: program verification, model checking, abstract
interpretation and abstract domains, program synthesis, static analysis,
type systems, deductive methods, program certification, debugging techniques,
program transformation, optimization, hybrid and cyber-physical systems.

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

Reseña del editor

This book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The  24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selected from 67 submissions. VMCAI provides topics including: program verification, model checking, abstractinterpretation and abstract domains, program synthesis, static analysis,type systems, deductive methods, program certification, debugging techniques,program transformation, optimization, hybrid and cyber-physical systems.

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

Verlag
Springer
Erscheinungsdatum
2015
Sprache
Englisch
ISBN 10 
3662491214
ISBN 13 
9783662491218
Einband
Tapa blanda
Auflage
1
Anzahl der Seiten
572
Herausgeber
Jobstmann Barbara, Leino K. Rustan M.
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Deutschland

Gebraucht kaufen

Zustand: Gut bis sehr gut
A nice, bright copy. ; Lecture...
Diesen Artikel anzeigen
9783662491218: Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. ... Computer Science and General Issues)
EUR 55,78

Währung umrechnen

EUR 4,73 für den Versand innerhalb von/der USA

Versandziele, Kosten & Dauer

Neu kaufen

Diesen Artikel anzeigen
9783662491218: Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. ... Computer Science and General Issues)
EUR 53,16

Währung umrechnen

EUR 3,43 für den Versand innerhalb von/der USA

Versandziele, Kosten & Dauer

Weitere beliebte Ausgaben desselben Titels

9783662491232: Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

Vorgestellte Ausgabe

ISBN 10:  3662491230 ISBN 13:  9783662491232
Verlag: Springer, 2016
Softcover

Suchergebnisse für Verification, Model Checking, and Abstract Interpretation:...

Beispielbild für diese ISBN

Verlag: Springer, 2015
ISBN 10: 3662491214 ISBN 13: 9783662491218
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 ABLIING23Mar3113020315177

Verkäufer kontaktieren

Neu kaufen

EUR 53,16
Währung umrechnen
Versand: EUR 3,43
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Foto des Verkäufers

Jobstmann, Barbara (EDT); Leino, K. Rustan M. (EDT)
Verlag: Springer, 2015
ISBN 10: 3662491214 ISBN 13: 9783662491218
Neu Softcover

Anbieter: GreatBookPrices, Columbia, MD, USA

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

Zustand: New. Bestandsnummer des Verkäufers 25212550-n

Verkäufer kontaktieren

Neu kaufen

EUR 54,35
Währung umrechnen
Versand: EUR 2,27
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Jobstmann, Barbara & K. Rustan M. Leino
Verlag: Springer, Berlin, 2016
ISBN 10: 3662491214 ISBN 13: 9783662491218
Gebraucht Paperback

Anbieter: Daedalus Books, Portland, OR, USA

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

Paperback. Zustand: Near Fine. A nice, bright copy. ; Lecture Notes in Computer Science; Vol. 9583; 9.3 X 6.1 X 1.3 inches; 558 pages. Bestandsnummer des Verkäufers 295117

Verkäufer kontaktieren

Gebraucht kaufen

EUR 55,78
Währung umrechnen
Versand: EUR 4,73
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 2015
ISBN 10: 3662491214 ISBN 13: 9783662491218
Neu Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich

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

Zustand: New. In. Bestandsnummer des Verkäufers ria9783662491218_new

Verkäufer kontaktieren

Neu kaufen

EUR 59,92
Währung umrechnen
Versand: EUR 13,72
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Jobstmann, Barbara
Verlag: Springer 2015-12, 2015
ISBN 10: 3662491214 ISBN 13: 9783662491218
Neu PF

Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich

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

PF. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783662491218

Verkäufer kontaktieren

Neu kaufen

EUR 56,66
Währung umrechnen
Versand: EUR 17,73
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

Anzahl: 10 verfügbar

In den Warenkorb

Foto des Verkäufers

K. Rustan M. Leino
ISBN 10: 3662491214 ISBN 13: 9783662491218
Neu Taschenbuch
Print-on-Demand

Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland

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

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The 24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selected from 67 submissions.VMCAI providestopics including: program verification, model checking, abstractinterpretation and abstract domains, program synthesis, static analysis,type systems, deductive methods, program certification, debugging techniques,program transformation, optimization, hybrid and cyber-physical systems. 572 pp. Englisch. Bestandsnummer des Verkäufers 9783662491218

Verkäufer kontaktieren

Neu kaufen

EUR 53,49
Währung umrechnen
Versand: EUR 23,00
Von Deutschland nach USA
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Foto des Verkäufers

Jobstmann, Barbara (EDT); Leino, K. Rustan M. (EDT)
Verlag: Springer, 2015
ISBN 10: 3662491214 ISBN 13: 9783662491218
Neu Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich

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

Zustand: New. Bestandsnummer des Verkäufers 25212550-n

Verkäufer kontaktieren

Neu kaufen

EUR 59,59
Währung umrechnen
Versand: EUR 17,17
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Jobstmann, Barbara (Editor)/ Leino, K. Rustan M. (Editor)
ISBN 10: 3662491214 ISBN 13: 9783662491218
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. 572 pages. 9.25x6.10x1.29 inches. In Stock. Bestandsnummer des Verkäufers x-3662491214

Verkäufer kontaktieren

Neu kaufen

EUR 82,75
Währung umrechnen
Versand: EUR 14,31
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Foto des Verkäufers

Jobstmann, Barbara|Leino, K. Rustan M.
ISBN 10: 3662491214 ISBN 13: 9783662491218
Neu Softcover
Print-on-Demand

Anbieter: moluna, Greven, Deutschland

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

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 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The &nbsp24 full papers together with 2 invited . Bestandsnummer des Verkäufers 106034100

Verkäufer kontaktieren

Neu kaufen

EUR 48,37
Währung umrechnen
Versand: EUR 48,99
Von Deutschland nach USA
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Foto des Verkäufers

K. Rustan M. Leino
ISBN 10: 3662491214 ISBN 13: 9783662491218
Neu Taschenbuch

Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland

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

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 17th InternationalConference on Verification, Model Checking, and AbstractInterpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The 24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selectedfrom 67 submissions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 572 pp. Englisch. Bestandsnummer des Verkäufers 9783662491218

Verkäufer kontaktieren

Neu kaufen

EUR 53,49
Währung umrechnen
Versand: EUR 60,00
Von Deutschland nach USA
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Es gibt 5 weitere Exemplare dieses Buches

Alle Suchergebnisse ansehen