Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €
phone Kontakt phoneWie einkaufen

Numerical Software Verification

9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Sprache EnglischEnglisch
Buch Broschur
Buch Numerical Software Verification Sergiy Bogomolov
Libristo-Code: 15802752
Verlag Springer International Publishing AG, Februar 2017
This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Softwar... Vollständige Beschreibung
? points 141 b
57.79 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 11-15 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Uysal Kiz / Buch Broschur
common.buy 10.59 €
Mit dem Reisemobil über die Schweiz nach Frankreich und Spanien Oliver Wozny / Buch Broschur
common.buy 23.95 €
Intermezzo Sally Rooney / Buch Blatt
common.buy 19.09 €
Demencja. Podstawy Innes Anthea / Buch Broschur
common.buy 18.29 €
La fada negra XAVIER THEROS / Buch Broschur
common.buy 31.09 €
Le second enfer d'Etienne Dolet Etienne Dolet / Buch Hardcover
common.buy 46.59 €
All'improvviso a New York Melissa Hill / Buch Broschur
common.buy 12.49 €
Soziale Akte, Sprechakte Und Textillokutionen Armin Burkhardt / Buch Hardcover
common.buy 175.59 €
Shirayuki aux cheveux rouges - Tome 11 Sorata Akiduki / Buch Broschur
common.buy 10.89 €
Congelación y calidad de la carne Claude Genot / Buch Broschur
common.buy 16.89 €
Logbuch für Venedig oder Bündnis Christine de Pizan Reinhard Gailhofer / Buch Broschur
common.buy 25.99 €
OPERACIÓ MISS BOMBÓ CAT LE BLANC / Buch Hardcover
common.buy 12.29 €

This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Software Verification, NSV 2016, held in Toronto, ON, Canada in July 2011 - colocated with CAV 2016, the 28th International Conference on Computer Aided Verification. The NSV workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Numerical Software Verification
Autor Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2017
Anzahl der Seiten 107
EAN 9783319542911
ISBN 3319542915
Libristo-Code 15802752
Verlag Springer International Publishing AG
Gewicht 1883
Abmessungen 155 x 235 x 7

Kategorie

EDV und Informationstechnologie > Computerhardware > Netzwerk-Hardware
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Datenbanken > Informationsrückgewinnung, Information Retrieval
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Künstliche Intelligenz
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

My Boring Meeting Survival Guide & Notes Volume I: 6x9 Meeting Notebook and Puzzle Book Gadfly Books / Buch Broschur
common.buy 6.69 €
Creating Guided Meditations for Yourself and Others Alfred Willowhawk / Buch Broschur
common.buy 10.69 €
The Star-Crossed Renaissance: The Quarrel About Astrology And Its Influence In England Don Cameron Allen / Buch Hardcover
common.buy 46.49 €
When I Was a Boy DE BLAUWER KATRIEN / Buch Hardcover
common.buy 49.99 €
Sentiments of the Professors of Physick, in the Foreign Universities, Concerning the Operations and Method of Curing the Diseases Incident to the eye, John Taylor / Buch Hardcover
common.buy 27.89 €
Mending Matters: Stitch, Patch, and Repair Your Favorite Denim & More Katrina Rodabaugh / Buch Hardcover
common.buy 28.19 €
Mining and Farming in Minecraft Josh Gregory / Buch Hardcover
common.buy 30.19 €
Transforming Conflict through Communication in Personal, Family, and Working Relationships Peter Kellet / Buch Broschur
common.buy 64.79 €
He Went for a Soldier JOHN STRANGE WINTER / Buch Hardcover
common.buy 31.79 €
Demnächst
Stones of Christ Church Judith (Archivist) Curthoys / Buch Hardcover
common.buy 38.89 €
History Of The Origin Of The Doctrine Of The Trinity In The Christian Church (1883) Hugh Hutton Stannus / Buch Broschur
common.buy 22.99 €
Mans Supreme Inheritance: Conscious Guidance and Control in Relation to Human Evolution in Civilization F. Matthias Alexander / Buch Broschur
common.buy 35.79 €
Key Words with Peter and Jane Level 3b - We Can Fix It! LADYBIRD / Buch Hardcover
common.buy 4.79 €
Concise History of Veterinary Medicine Susan D. Jones / Buch Hardcover
common.buy 104.09 €
Kentucky Anthology Wade Hall / E-Book Adobe ePub DRM
common.buy 59.79 €
Understanding Financial Risk Management, Third Edition Corelli / Buch Broschur
common.buy 79.79 €
Cajal. El arte de la ciencia. / Buch Hardcover
common.buy 43.49 €
The 31st Consort, Vol. 1 Momotomoe / Buch Broschur
common.buy 11.19 €
Medical Romance June 2016 Books 1-6 Robin Gianna / E-Book Adobe ePub DRM
common.buy 21.69 €
Top
Tailored Realities Brandon Sanderson / Buch Hardcover
common.buy 27.89 €
Anti-Aircrafft Defence Against Low-Flying Enemy Aircraft C. H. B. Pridham / Buch Broschur
common.buy 14.19 €
Food Protein Sources N. W. Pirie / Buch Broschur
common.buy 46.69 €
Crystal Field Effects in Metals and Alloys A. Furrer / Buch Broschur
common.buy 107.29 €
From Hegel to Nietzsche Karl Lowith / Buch Broschur
common.buy 53.99 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?