Gesamtpreis (1 Artikel Artikel):
Versandziel:
leino rustan (29 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (29)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (28)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (1)
- Gut oder Befriedigend (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Einband
- alle Einbände
- Hardcover (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Softcover (29)
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (13)
Sprache (1)
Preis
- Beliebiger Preis
- Weniger als EUR 20 (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- EUR 20 bis EUR 45
- Mehr als EUR 45
Gratisversand
- Kostenloser Versand nach USA (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Land des Verkäufers
Verkäuferbewertung
-
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II (Lecture Notes in Computer Science, 12760)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 47,64
EUR 13,76 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I (Lecture Notes in Computer Science, 12759)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 47,64
EUR 13,76 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Program Proofs
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 66,14
EUR 6,74 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPAP. Zustand: New. Leino, Kaleb (illustrator). New Book. Shipped from UK. Established seller since 2000.
-
Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. ... Computer Science and General Issues)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 59,65
EUR 13,76 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Program Proofs
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 63,70
EUR 14,36 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. Leino, Kaleb (illustrator). 496 pages. 9.00x7.00x1.02 inches. In Stock.
-
Program Proofs
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 71,80
EUR 7,47 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 3 verfügbar
In den WarenkorbZustand: New. Leino, Kaleb (illustrator).
-
Program Proofs
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 74,03
EUR 13,76 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New. Leino, Kaleb (illustrator). In.
-
Computer Aided Verification : 33rd Inter
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Computer Aided Verification : 33rd Inter
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
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,
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2011
ISBN 10: 3642198341 ISBN 13: 9783642198342
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 79,44
EUR 14,36 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2011 edition. 394 pages. 9.20x6.10x0.90 inches. In Stock.
-
Verification, Model Checking, and Abstract Interpretation: 17th International Conference, Vmcai 2016, St. Petersburg, Fl, USA, January 17-19, 2016 - Proceedings
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2016
ISBN 10: 3662491214 ISBN 13: 9783662491218
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 81,50
EUR 14,36 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 572 pages. 9.25x6.10x1.29 inches. In Stock.
-
Computer Aided Verification: 33rd International Conference, Cav 2021, Virtual Event, July 20-23, 2021, Proceedings
Sprache: Englisch
Verlag: Springer-Nature New York Inc, 2021
ISBN 10: 3030816842 ISBN 13: 9783030816841
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 80,58
EUR 17,23 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 922 pages. 9.25x6.10x1.87 inches. In Stock.
-
Computer Aided Verification: 33rd International Conference, Cav 2021, Virtual Event, July 2023, 2021, Proceedings, Part II
Sprache: Englisch
Verlag: Springer-Nature New York Inc, 2021
ISBN 10: 3030816877 ISBN 13: 9783030816872
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 80,90
EUR 17,23 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 940 pages. 9.25x6.10x1.90 inches. In Stock.
-
Computer Aided Verification
Sprache: Englisch
Verlag: Springer International Publishing, Springer Nature Switzerland Jul 2021, 2021
ISBN 10: 3030816842 ISBN 13: 9783030816841
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis.Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification.This is an open access book.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 948 pp. Englisch.
-
Computer Aided Verification
Sprache: Englisch
Verlag: Springer Nature Switzerland, Springer International Publishing Jul 2021, 2021
ISBN 10: 3030816877 ISBN 13: 9783030816872
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis.Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 964 pp. Englisch.
-
PROGRAM PROOFS
Anbieter: Speedyhen, Hertfordshire, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 57,98
EUR 47,09 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: NEW. Leino, Kaleb (illustrator).
-
Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20¿23, 2021, Proceedings, Part I
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2021
ISBN 10: 3030816842 ISBN 13: 9783030816841
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis.Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification.This is an open access book.
-
Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20¿23, 2021, Proceedings, Part II
Sprache: Englisch
Verlag: Springer International Publishing, 2021
ISBN 10: 3030816877 ISBN 13: 9783030816872
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis.Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification.
-
Taschenbuch. Zustand: Neu. Computer Aided Verification | 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I | Alexandra Silva (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxiv | Englisch | 2021 | Springer | EAN 9783030816841 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Taschenbuch. Zustand: Neu. Computer Aided Verification | 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II | Alexandra Silva (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxiii | Englisch | 2021 | Springer | EAN 9783030816872 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Tools and Algorithms for the Construction and Analysis of Systems
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2011
ISBN 10: 3642198341 ISBN 13: 9783642198342
Zustand: New.
-
Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2015
ISBN 10: 3662491214 ISBN 13: 9783662491218
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
-
Taschenbuch. Zustand: Neu. Verification, Model Checking, and Abstract Interpretation | 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings | Barbara Jobstmann (u. a.) | Taschenbuch | xiii | Englisch | 2015 | Springer | EAN 9783662491218 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Zustand: New. Leino, Kaleb (illustrator). 2023. Paperback. . . . . . Books ship from the US and Ireland.
-
Kartoniert / Broschiert. Zustand: New. Leino, Kaleb (illustrator). K. Rustan M. Leino is a Senior Principal Applied Scientist in the Automated Reasoning Group at Amazon Web Services, an ACM Fellow, an IFIP Fellow, and a recipient of the CAV Award.This comprehensive and highly readable textbook teaches how to .
-
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, Proceedings
Sprache: Englisch
Verlag: Springer, Berlin, Springer, 2011
ISBN 10: 3642198341 ISBN 13: 9783642198342
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware - 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.
-
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 394 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
-
Taschenbuch. Zustand: Neu. Leino, Kaleb (illustrator). Neuware - This comprehensive and highly readable textbook teaches how to formally reason about computer programs using an incremental approach and the verification-aware programming language Dafny.Program Proofs shows students what it means to write specifications for programs, what it means for programs to satisfy those specifications, and how to write proofs that connect specifications and programs. Writing with clarity and humor, K. Rustan M. Leino first provides an overview of the basic theory behind reasoning about programs. He then gradually builds up to complex concepts and applications, until students are facing real programs using objects, data structures, and non-trivial recursion. To emphasize the practical nature of program proofs, all material and examples use the verification-aware programming language Dafny, but no previous knowledge of Dafny is assumed.
-
Taschenbuch. Zustand: Neu. Leino, Kaleb (illustrator). Program Proofs | K. Rustan M. Leino (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2023 | MIT Press Ltd | EAN 9780262546232 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu.
