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
Kostenloser Versand mit Zásilkovna ab 69.99 €
DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € ACS-Stelle 4.99 € Box Now 3.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
58.51 €
Externes Lager in kleiner Menge Wir versenden in 11-15 Tagen
Griechenland Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Mit dem Reisemobil über die Schweiz nach Frankreich und Spanien Oliver Wozny / Buch Broschur
common.buy 21.45 €
Intermezzo Sally Rooney / Buch Blatt
common.buy 17.91 €
Demencja. Podstawy Innes Anthea / Buch Broschur
common.buy 16.69 €
Le second enfer d'Etienne Dolet Etienne Dolet / Buch Hardcover
common.buy 44.54 €
Uysal Kiz / Buch Broschur
common.buy 10.22 €
Soziale Akte, Sprechakte Und Textillokutionen Armin Burkhardt / Buch Hardcover
common.buy 168.86 €
Logbuch für Venedig oder Bündnis Christine de Pizan Reinhard Gailhofer / Buch Broschur
common.buy 23.38 €
OPERACIÓ MISS BOMBÓ CAT LE BLANC / Buch Hardcover
common.buy 11.94 €
All'improvviso a New York Melissa Hill / Buch Broschur
common.buy 11.94 €
La fada negra XAVIER THEROS / Buch Broschur
common.buy 29.86 €

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

History Of The Origin Of The Doctrine Of The Trinity In The Christian Church (1883) Hugh Hutton Stannus / Buch Broschur
common.buy 23.28 €
Stones of Christ Church Judith (Archivist) Curthoys / Buch Hardcover
common.buy 38.46 €
When I Was a Boy DE BLAUWER KATRIEN / Buch Hardcover
common.buy 48.48 €
Mending Matters: Stitch, Patch, and Repair Your Favorite Denim & More Katrina Rodabaugh / Buch Hardcover
common.buy 28.54 €
Mining and Farming in Minecraft Josh Gregory / Buch Hardcover
common.buy 28.94 €
Transforming Conflict through Communication in Personal, Family, and Working Relationships Peter Kellet / Buch Broschur
common.buy 71.06 €
He Went for a Soldier JOHN STRANGE WINTER / Buch Hardcover
common.buy 32.18 €
My Boring Meeting Survival Guide & Notes Volume I: 6x9 Meeting Notebook and Puzzle Book Gadfly Books / Buch Broschur
common.buy 6.77 €
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 28.24 €
Mans Supreme Inheritance: Conscious Guidance and Control in Relation to Human Evolution in Civilization F. Matthias Alexander / Buch Broschur
common.buy 36.23 €
Key Words with Peter and Jane Level 3b - We Can Fix It! LADYBIRD / Buch Hardcover
common.buy 4.55 €
Concise History of Veterinary Medicine Susan D. Jones / Buch Hardcover
common.buy 105.38 €
Kentucky Anthology Wade Hall / E-Book Adobe ePub DRM
common.buy 57.29 €
Understanding Financial Risk Management, Third Edition Corelli / Buch Broschur
common.buy 80.78 €
Cajal. El arte de la ciencia. / Buch Hardcover
common.buy 41.90 €
The 31st Consort, Vol. 1 Momotomoe / Buch Broschur
common.buy 11.33 €
Medical Romance June 2016 Books 1-6 Robin Gianna / E-Book Adobe ePub DRM
common.buy 20.85 €
Tailored Realities Brandon Sanderson / Buch Hardcover
common.buy 26.51 €
Anti-Aircrafft Defence Against Low-Flying Enemy Aircraft C. H. B. Pridham / Buch Broschur
common.buy 14.37 €
Food Protein Sources N. W. Pirie / Buch Broschur
common.buy 47.27 €
Crystal Field Effects in Metals and Alloys A. Furrer / Buch Broschur
common.buy 103.05 €
A SURVEY OF GREEK CIVILIZATION JOHN PENTLA MAHAFFY / Buch Hardcover
common.buy 36.23 €
Summer Stock Phipps-J / Buch Hardcover
common.buy 22.97 €
Complete Illustrated Guide to Beading & Making Jewellery Ann Kay / Buch Hardcover
common.buy 16.09 €

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?