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 Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.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
279.66 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

de la Responsabilite Des Proprietaires de Bois Et Forets Et Locataires de Chasses, Dommages Sorel-A / Carte Carte broșată
common.buy 101.30 lei
Italia di carta. Viaggio tra le pagine che hanno raccontato il nostro paese Antonio Canu / Carte Carte
common.buy 129.83 lei
Quellen zur Geschichte der Stadt Wien Anonym / Carte Carte broșată
common.buy 198.13 lei
Top
A cena con l'assassino Alexandra Benedict / Carte Carte broșată
common.buy 28.21 lei
300 modèles à dessiner en pas à pas - Perspective / Carte Copertă tare
common.buy 107.34 lei
DIPELODOCUS Y OTROS DINOSAURIOS DESCONOCIDOS BENINC· / Carte Carte
common.buy 100.57 lei
Faits d’hiver à Riec-sur-Bélon Le Gall / Carte Carte broșată
common.buy 68.08 lei
Conductores de la Comunidad Foral de Navarra. Temario y test de la parte específica Martos Navarro / Carte Carte broșată
common.buy 264.97 lei
Seis grandes escritores rusos MARIANO FAZIO / Carte Carte broșată
common.buy 84.74 lei
Viel Glück / Carte Copertă tare
common.buy 36.64 lei
Berlin Barbara Rusch / Carte Copertă tare
common.buy 155.65 lei
The Hexaglot Bible: Comprising The Holy Scriptures Of The Old And New Testaments In The Original Tongues, Together With The Septuagint, Th Anonymous / Carte Copertă tare
common.buy 241.76 lei
La déontologie gouvernementale Kerléo / Carte Carte broșată
common.buy 186.26 lei
Tu entrenador personal Fernando Orpinell / Carte Carte broșată
common.buy 89.74 lei
Calligraphie 100 alphabets Harris / Carte Copertă tare
common.buy 143.99 lei
Töframosa - волшебный мох. Все про исландскую магию / Carte Copertă tare
common.buy 490.18 lei
La curación del paralítico Groß / Carte Carte broșată
common.buy 19.98 lei
My Gold Mine Hans Joachim Höh / Joc / Jucărie Joc
common.buy 78.91 lei
GUIA DE RAPACES NOCTURNAS DE EUROPA MARCO MASTRORILLI / Carte Carte broșată
common.buy 158.46 lei
Les inconnus de Versailles les coulisses de la Cour Jacques Levron / Carte Carte broșată
common.buy 65.07 lei
Fritz misto. Le ricette per imparare e capire il tedesco (e i tedeschi) Renata Beltrami / Carte Carte broșată
common.buy 84.95 lei
Il viaggio della tartaruga che ha imparato a volare: II Edizione Paolo Nuti / Carte Carte broșată
common.buy 52.67 lei
Windows Backup Server 2012 R2 - Deploiement, Gestion et Automatisation en Entreprise Hicham Kadiri / Carte Carte broșată
common.buy 66.94 lei
CONTRA LA CARIDAD DANIEL RAVENTOS / Carte Carte broșată
common.buy 191.26 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

Fire and Rescue Incident Command: A Practical Guide to Incident Ground Management Tony Prosser / Carte Carte broșată
common.buy 265.18 lei
Top
Dory Fantasmagory Abby Hanlon / Carte Carte broșată
common.buy 48.82 lei
R. CRUMB: From the Underground to GENESIS R. Crumb / Carte Copertă tare
common.buy 368.57 lei
Inventory of Odonata (Dragonflies and Damselflies) at Fire Island National Seashore National Park Service / Carte Carte broșată
common.buy 86.93 lei
Matryoshkas in Therapy MR Roger Day / Carte Carte broșată
common.buy 51.63 lei
The Tie That Binds: Building a Strong Marriage Rev Jeffrey P Pedersen / Carte Carte broșată
common.buy 76.73 lei
Vintage Fashion & Couture Kerry Taylor / Carte Copertă tare
common.buy 191.67 lei
Voices of Color Gail Bauman / Carte Carte broșată
common.buy 231.34 lei
Development of a Digital Library based on Cloud Computing Model Chimdi Walter Ndubuisi / Carte Carte broșată
common.buy 139.20 lei
Musical Witness and Holocaust Representation Wlodarski / Carte Carte broșată
common.buy 264.04 lei
A History Of The Mediaeval Christian Church Vance Randolph / Carte Carte broșată
common.buy 111.61 lei
Divine Order & Alien Passage Arthur Carlo Padoan / Carte Carte broșată
common.buy 63.92 lei
Applied Philosophy Brenda Almond / Carte Carte broșată
common.buy 309.85 lei
Literary Shrines Theodore F. Wolfe / Carte Carte broșată
common.buy 116.81 lei
Top
Mushoku Tensei: Jobless Reincarnation (Light Novel) Vol. 24 Rifujin Na Magonote / Carte Carte broșată
common.buy 62.46 lei
All the Light and Dark Things Nathalie Jackson / Carte Carte broșată
common.buy 101.72 lei
Blue Water Red Blood DL Havlin / E-book Adobe ePub DRM
common.buy 101.92 lei
Top
Twisted Pawn (Deluxe Edition) L.J. Shen / Carte Carte broșată
common.buy 87.76 lei
User'S Guide to Coenzyme Q10 Martin Zucker / Carte Carte broșată
common.buy 30.60 lei
Exploring the relevance of usability criteria to the booking process in e-tourism Leyla Abolahrar / Carte Carte broșată
common.buy 237.59 lei
Red Planet William John Locke / Carte Carte broșată
common.buy 89.74 lei
Echocardiography in Pediatric and Congenital Heart Disease Wyman W. Lai / E-book Adobe ePub DRM
common.buy 1 638.31 lei
Leftin
Survival in Auschwitz Primo Levi / Carte Carte broșată
common.buy 53.30 lei
Learn Chinese with Mike Absolute Beginner Coursebook and Activity Book Pack Seasons 1 & 2 Mike Hainzinger / Carte Carte broșată
common.buy 278.82 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?