Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Numerical Software Verification

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Numerical Software Verification Sergiy Bogomolov
Libristo kod: 15802752
Nakladnici Springer International Publishing AG, veljača 2017
This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Softwar... Cijeli opis
? points 135 b
55.83 €
Vanjske zalihe u manjem broju Šaljemo za 13-18 dana

Do 30 dana za povrat

Kupci su kupili i

Demencja. Podstawy Innes Anthea / Knjiga Meki uvez
common.buy 17.39 €
Le second enfer d'Etienne Dolet Etienne Dolet / Knjiga Tvrdi uvez
common.buy 44.50 €
Uysal Kiz / Knjiga Meki uvez
common.buy 10.21 €
Intermezzo Sally Rooney / Knjiga List
common.buy 16.88 €
Mit dem Reisemobil über die Schweiz nach Frankreich und Spanien Oliver Wozny / Knjiga Meki uvez
common.buy 21.44 €
Shirayuki aux cheveux rouges - Tome 11 Sorata Akiduki / Knjiga Meki uvez
common.buy 9.20 €
De La Philosophie Corpusculaire: Ou, Des Connoissances Et Des Procedes Magnetiques (1785) Antoine Francois Delandine / Knjiga Meki uvez
common.buy 26.90 €
Caracteres de La Bruyere: Suivis Des Caracteres de Theophraste (1847) Jean Geoffrey Schweighaeuser / Knjiga Meki uvez
common.buy 42.07 €
Logbuch für Venedig oder Bündnis Christine de Pizan Reinhard Gailhofer / Knjiga Meki uvez
common.buy 23.36 €
Soziale Akte, Sprechakte Und Textillokutionen Armin Burkhardt / Knjiga Tvrdi uvez
common.buy 168.72 €
OPERACIÓ MISS BOMBÓ CAT LE BLANC / Knjiga Tvrdi uvez
common.buy 11.32 €
Congelación y calidad de la carne Claude Genot / Knjiga Meki uvez
common.buy 15.37 €
One Piece 61, El amanecer hacia la aventura del nuevo mundo Eiichiro Oda / Knjiga Meki uvez
common.buy 11.72 €
All'improvviso a New York Melissa Hill / Knjiga Meki uvez
common.buy 11.12 €
La fada negra XAVIER THEROS / Knjiga Meki uvez
common.buy 29.83 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Numerical Software Verification
Autor Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2017
Broj stranica 107
EAN 9783319542911
ISBN 3319542915
Libristo kod 15802752
Nakladnici Springer International Publishing AG
Težina 1883
Dimenzije 155 x 235 x 7

Kategorija

Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Databases > Information retrieval
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Artificial intelligence
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

The celibates' club; being the united stories of The Bachelors' Club and The Old Maids' Club.: By: I. Zangwill, Illustrated By: George (Wylie) Hutchin I Zangwill / Knjiga Meki uvez
common.buy 18.00 €
Jones vs. Rector and Inhabitants of the City of Ne Anonymous / Knjiga Meki uvez
common.buy 31.65 €
Creating Guided Meditations for Yourself and Others Alfred Willowhawk / Knjiga Meki uvez
common.buy 10.31 €
The Star-Crossed Renaissance: The Quarrel About Astrology And Its Influence In England Don Cameron Allen / Knjiga Tvrdi uvez
common.buy 44.90 €
Arboretum America Diana Beresford-Kroeger / Knjiga Meki uvez
common.buy 45.71 €
Top
When I Was a Boy DE BLAUWER KATRIEN / Knjiga Tvrdi uvez
common.buy 45.41 €
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 / Knjiga Tvrdi uvez
common.buy 26.90 €
Top
Mending Matters: Stitch, Patch, and Repair Your Favorite Denim & More Katrina Rodabaugh / Knjiga Tvrdi uvez
common.buy 25.58 €
Mining and Farming in Minecraft Josh Gregory / Knjiga Tvrdi uvez
common.buy 29.43 €
Transforming Conflict through Communication in Personal, Family, and Working Relationships Peter Kellet / Knjiga Meki uvez
common.buy 62.71 €
He Went for a Soldier JOHN STRANGE WINTER / Knjiga Tvrdi uvez
common.buy 30.74 €
Pripremamo
Stones of Christ Church Judith (Archivist) Curthoys / Knjiga Tvrdi uvez
common.buy 36.81 €
My Boring Meeting Survival Guide & Notes Volume I: 6x9 Meeting Notebook and Puzzle Book Gadfly Books / Knjiga Meki uvez
common.buy 6.46 €
History Of The Origin Of The Doctrine Of The Trinity In The Christian Church (1883) Hugh Hutton Stannus / Knjiga Meki uvez
common.buy 22.14 €
Mans Supreme Inheritance: Conscious Guidance and Control in Relation to Human Evolution in Civilization F. Matthias Alexander / Knjiga Meki uvez
common.buy 34.48 €
Key Words with Peter and Jane Level 3b - We Can Fix It! LADYBIRD / Knjiga Tvrdi uvez
common.buy 4.54 €
Concise History of Veterinary Medicine Susan D. Jones / Knjiga Tvrdi uvez
common.buy 100.64 €
Kentucky Anthology Wade Hall / E-knjiga Adobe ePub DRM
common.buy 60.79 €
Understanding Financial Risk Management, Third Edition Corelli / Knjiga Meki uvez
common.buy 77.48 €
Cajal. El arte de la ciencia. / Knjiga Tvrdi uvez
common.buy 38.33 €
The 31st Consort, Vol. 1 Momotomoe / Knjiga Meki uvez
common.buy 10.61 €
Medical Romance June 2016 Books 1-6 Robin Gianna / E-knjiga Adobe ePub DRM
common.buy 19.82 €
Top
Tailored Realities Brandon Sanderson / Knjiga Tvrdi uvez
common.buy 26.39 €
Four letters of comforts for the deaths of the Earle of Hadingtoun and of the Lord Boyd Zacharie Boyd / Knjiga Meki uvez
common.buy 11.72 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?