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.

Software Verification and Analysis

An Integrated, Hands-On Approach

Limba englezăengleză
Carte Carte broșată
Carte Software Verification and Analysis Janusz Laski
Codul Libristo: 01434729
Editura Springer, Berlin, noiembrie 2009
This book addresses the most important techniques in improving the correctness of software, includin...
? points 129 b
280.38 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Calligraphie 100 alphabets Harris / Carte Copertă tare
common.buy 144.99 lei
Seis grandes escritores rusos MARIANO FAZIO / Carte Carte broșată
common.buy 94.78 lei
Italia di carta. Viaggio tra le pagine che hanno raccontato il nostro paese Antonio Canu / Carte Carte
common.buy 130.37 lei
300 modèles à dessiner en pas à pas - Perspective / Carte Copertă tare
common.buy 108.24 lei
DIPELODOCUS Y OTROS DINOSAURIOS DESCONOCIDOS BENINC· / Carte Carte
common.buy 111.48 lei
Faits d’hiver à Riec-sur-Bélon Le Gall / Carte Carte broșată
common.buy 68.89 lei
Quellen zur Geschichte der Stadt Wien Anonym / Carte Carte broșată
common.buy 198.65 lei
Fritz misto. Le ricette per imparare e capire il tedesco (e i tedeschi) Renata Beltrami / Carte Carte broșată
common.buy 85.38 lei
Viel Glück / Carte Copertă tare
common.buy 36.94 lei
Berlin Barbara Rusch / Carte Copertă tare
common.buy 156.05 lei
La déontologie gouvernementale Kerléo / Carte Carte broșată
common.buy 187.58 lei
La curación del paralítico Groß / Carte Carte broșată
common.buy 22.64 lei
My Gold Mine Hans Joachim Höh / Joc / Jucărie Joc
common.buy 79.12 lei
GUIA DE RAPACES NOCTURNAS DE EUROPA MARCO MASTRORILLI / Carte Carte broșată
common.buy 174.53 lei
Les inconnus de Versailles les coulisses de la Cour Jacques Levron / Carte Carte broșată
common.buy 66.07 lei
Tu entrenador personal Fernando Orpinell / Carte Carte broșată
common.buy 99.58 lei
Windows Backup Server 2012 R2 - Deploiement, Gestion et Automatisation en Entreprise Hicham Kadiri / Carte Carte broșată
common.buy 67.11 lei
de la Responsabilite Des Proprietaires de Bois Et Forets Et Locataires de Chasses, Dommages Sorel-A / Carte Carte broșată
common.buy 101.56 lei
CONTRA LA CARIDAD DANIEL RAVENTOS / Carte Carte broșată
common.buy 191.76 lei

This book addresses the most important techniques in improving the correctness of software, including correctness by construction, program proving, static analysis and dynamic, execution-based analysis. Problems and exercises are included.

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 Software Verification and Analysis
Autor Janusz Laski, William Stanley
Limba engleză
Legare Carte - Carte broșată
Data publicării 2010
Număr pagini 234
EAN 9781849968294
ISBN 1849968292
Codul Libristo 01434729
Editura Springer, Berlin
Greutatea 384
Dimensiuni 156 x 234 x 13

Categorii

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Operating systems
Computing & Information Technology > Computer science
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

Top
Survival in Auschwitz Primo Levi / Carte Carte broșată
common.buy 67.63 lei
Top Nou
Twisted Pawn (Deluxe Edition) L.J. Shen / Carte Carte broșată
common.buy 91.54 lei
All the Light and Dark Things Nathalie Jackson / Carte Carte broșată
common.buy 101.98 lei
Top
Mushoku Tensei: Jobless Reincarnation (Light Novel) Vol. 24 Rifujin Na Magonote / Carte Carte broșată
common.buy 65.23 lei
Literary Shrines Theodore F. Wolfe / Carte Carte broșată
common.buy 117.12 lei
Applied Philosophy Brenda Almond / Carte Carte broșată
common.buy 310.66 lei
Divine Order & Alien Passage Arthur Carlo Padoan / Carte Carte broșată
common.buy 64.08 lei
A History Of The Mediaeval Christian Church Vance Randolph / Carte Carte broșată
common.buy 111.90 lei
Fire and Rescue Incident Command: A Practical Guide to Incident Ground Management Tony Prosser / Carte Carte broșată
common.buy 265.87 lei
Voices of Color Gail Bauman / Carte Carte broșată
common.buy 186.75 lei
Musical Witness and Holocaust Representation Wlodarski / Carte Carte broșată
common.buy 264.73 lei
Matryoshkas in Therapy MR Roger Day / Carte Carte broșată
common.buy 51.77 lei
Inventory of Odonata (Dragonflies and Damselflies) at Fire Island National Seashore National Park Service / Carte Carte broșată
common.buy 87.16 lei
R. CRUMB: From the Underground to GENESIS R. Crumb / Carte Copertă tare
common.buy 370.16 lei
31 Months in Japan Lorna Collins / Carte Carte broșată
common.buy 83.92 lei
Exploring the relevance of usability criteria to the booking process in e-tourism Leyla Abolahrar / Carte Carte broșată
common.buy 238.21 lei
Learn Chinese with Mike Absolute Beginner Coursebook and Activity Book Pack Seasons 1 & 2 Mike Hainzinger / Carte Carte broșată
common.buy 223.07 lei
Texting Toward Utopia Ben Agger / Carte Carte broșată
common.buy 350.43 lei
User'S Guide to Coenzyme Q10 Martin Zucker / Carte Carte broșată
common.buy 30.68 lei
Basher Five-Two Scott O'Grady / Carte Carte broșată
common.buy 38.93 lei
Dory Fantasmagory Abby Hanlon / Carte Carte broșată
common.buy 49.16 lei
Deadfall Anna Carey / Carte Copertă tare
common.buy 77.55 lei
Edexcel International GCSE (9-1) Mathematics Practice Book Third Edition Trevor Johnson / Carte Carte broșată
common.buy 116.70 lei
Jesuit Slaveholding in Maryland, 1717-1838 Thomas Murphy / Carte Carte broșată
common.buy 401.69 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