Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Numerical Software Verification

Limba englezăengleză
Carte Carte broșată
Carte Numerical Software Verification Damien Zufferey
Codul Libristo: 24340163
Editura Springer Nature Switzerland AG, august 2019
This book constitutes the proceedings of the 12th International Workshop on Numerical Software Verif... Descrierea completă
? points 132 b
285.10 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

The Bible / Библијата - The First Book of Moses (Genesis) / Првата книга на Мојсеј (Битие) KJV / Carte Carte broșată
common.buy 85.53 lei
Szcenárió készítés Ilosvai Péter / Carte Carte broșată
common.buy 369.70 lei
Versuche der Berichtigung von Ulpiani Fragmenta Karl David August Röder / Carte Carte broșată
common.buy 123.99 lei
Zasady wychowania narodowego Zygmunt Balicki / Carte Carte broșată
common.buy 14.54 lei
Análisis del agua potable Mouloud Ghadbane / Carte Carte broșată
common.buy 301.10 lei
Almanach Côtier Sud Loire 2019 collegium / Carte Carte broșată
common.buy 102.16 lei
Points de fuite 1933-1994 T2 Albert Flocon / Carte Carte broșată
common.buy 65.78 lei
VDM sur ordonnance L'équipe Vie de Merde / Carte Carte broșată
common.buy 95.61 lei
Curând
Sen o městě obehnaném zdí Fleischman Lisa Huang / Carte Copertă tare
common.buy 33.77 lei
Ausweitung der Markenzone Kai-Uwe Hellmann / Carte Carte broșată
common.buy 260.98 lei
Die hoefische Liebe im Horizont der erotischen Diskurse des Mittelalters und der Fruhen Neuzeit Walter Haug / Carte Copertă tare
common.buy 656.89 lei
Foix i el seu temps Gabriel Ferrater i Soler / Carte Carte broșată
common.buy 60.79 lei
LAMPARA ADHESIVA MAFALDA QUINO / Carte Carte broșată
common.buy 65.78 lei

This book constitutes the proceedings of the 12th International Workshop on Numerical Software Verification, NSV 2019, held in New York City, NY, USA, in July 2019 - colocated with the International Conference on Computer Aided Verification, CAV 2019.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Numerical Software Verification
Autor Damien Zufferey
Limba engleză
Legare Carte - Carte broșată
Data publicării 2019
Număr pagini 145
EAN 9783030284220
ISBN 3030284220
Codul Libristo 24340163
Editura Springer Nature Switzerland AG
Greutatea 454
Dimensiuni 155 x 235 x 10

Categorii

Computing & Information Technology > Computer programming / software engineering
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Java and the Mobile Environment Kelly Clarkson / Carte Carte broșată
common.buy 79.82 lei
Intelligent Autonomous Systems 12 Sukhan Lee / Carte Carte broșată
common.buy 1 985.96 lei
Assessing Dyslexia Becky Kennedy / Carte Carte broșată
common.buy 348.91 lei
The Fasting Plan: Use Intermittent Fasting to Get Lean and Stay Lean Forever Nick Holt / Carte Carte broșată
common.buy 71.81 lei
Top
Tiki Shannon Mustipher / Carte Copertă tare
common.buy 119.73 lei
Eden Versus Whistler James Mcneill Whistler / Carte Carte broșată
common.buy 84.60 lei
Lyrics of the hearthside (1899). By: Paul Laurence Dunbar: Poetry (World's classic's) Paul Laurence Dunbar / Carte Carte broșată
common.buy 50.40 lei
Citizen Science Susanne Hecker / Carte Carte broșată
common.buy 306.51 lei
Activating God's Power in Jan: Overcome and be transformed by accessing God's power. Michelle Leslie / Carte Carte broșată
common.buy 56.95 lei
101 Ways To Make $1000 Quickly - A Proven collection of income generating ideas Dan Howe / Carte Carte broșată
common.buy 41.98 lei
Beyonce Marlow Jermaine Martin / Carte Carte broșată
common.buy 81.79 lei
Principles of Natural Theology George Hayward Joyce / Carte Carte broșată
common.buy 272.31 lei
Descriptiv List of Novels and Tales Dealing with History of North America William Maccrillis Griswold / Carte Carte broșată
common.buy 84.60 lei
History of England James Anthony Froude / Carte Copertă tare
common.buy 220.34 lei
Berlitz Pocket Guide Egypt Red Sea Coast (Travel Guide) APA Publications Limited / Carte Carte broșată
common.buy 63.60 lei
Python for Secret Agents Steven F Lott / Carte Carte broșată
common.buy 168.79 lei
History of the Invasion of Switzerland by the French, and the Destruction of the Democratical Republics of Schwitz, Uri, and Unterwalden. Translated f John Aikin / Carte Carte broșată
common.buy 144.15 lei
21st Century House Jonathan Bell / Carte Carte broșată
common.buy 177.00 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?