Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Software Verification and Analysis

An Integrated, Hands-On Approach

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Software Verification and Analysis Janusz Laski
Koda Libristo: 01434729
Založba Springer, Berlin, november 2009
This book addresses the most important techniques in improving the correctness of software, includin...
? points 115 b
47.80 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Calligraphie 100 alphabets Harris / Knjiga Trda
common.buy 25.21 €
Seis grandes escritores rusos MARIANO FAZIO / Knjiga Mehka
common.buy 16.30 €
Italia di carta. Viaggio tra le pagine che hanno raccontato il nostro paese Antonio Canu / Knjiga Knjiga
common.buy 22.37 €
300 modèles à dessiner en pas à pas - Perspective / Knjiga Trda
common.buy 18.83 €
DIPELODOCUS Y OTROS DINOSAURIOS DESCONOCIDOS BENINC· / Knjiga Knjiga
common.buy 19.33 €
Faits d’hiver à Riec-sur-Bélon Le Gall / Knjiga Mehka
common.buy 11.94 €
Quellen zur Geschichte der Stadt Wien Anonym / Knjiga Mehka
common.buy 33.62 €
Fritz misto. Le ricette per imparare e capire il tedesco (e i tedeschi) Renata Beltrami / Knjiga Mehka
common.buy 14.68 €
Viel Glück / Knjiga Trda
common.buy 6.37 €
Berlin Barbara Rusch / Knjiga Trda
common.buy 26.32 €
La déontologie gouvernementale Kerléo / Knjiga Mehka
common.buy 32.60 €
La curación del paralítico Groß / Knjiga Mehka
common.buy 3.84 €
My Gold Mine Hans Joachim Höh / Igra/Igrača Igra
common.buy 13.46 €
GUIA DE RAPACES NOCTURNAS DE EUROPA MARCO MASTRORILLI / Knjiga Mehka
common.buy 30.27 €
Les inconnus de Versailles les coulisses de la Cour Jacques Levron / Knjiga Mehka
common.buy 11.43 €
Tu entrenador personal Fernando Orpinell / Knjiga Mehka
common.buy 17.21 €
Windows Backup Server 2012 R2 - Deploiement, Gestion et Automatisation en Entreprise Hicham Kadiri / Knjiga Mehka
common.buy 11.54 €
de la Responsabilite Des Proprietaires de Bois Et Forets Et Locataires de Chasses, Dommages Sorel-A / Knjiga Mehka
common.buy 17.51 €
CONTRA LA CARIDAD DANIEL RAVENTOS / Knjiga Mehka
common.buy 32.70 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Software Verification and Analysis
Avtor Janusz Laski, William Stanley
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2010
Število strani 234
EAN 9781849968294
ISBN 1849968292
Koda Libristo 01434729
Založba Springer, Berlin
Teža 384
Mere 156 x 234 x 13

Kategorije

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Operating systems
Computing & Information Technology > Computer science
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Top
Survival in Auschwitz Primo Levi / Knjiga Mehka
common.buy 11.33 €
Top Novo
Twisted Pawn (Deluxe Edition) L.J. Shen / Knjiga Mehka
common.buy 15.39 €
All the Light and Dark Things Nathalie Jackson / Knjiga Mehka
common.buy 17.51 €
Top
Mushoku Tensei: Jobless Reincarnation (Light Novel) Vol. 24 Rifujin Na Magonote / Knjiga Mehka
common.buy 10.73 €
Literary Shrines Theodore F. Wolfe / Knjiga Mehka
common.buy 20.25 €
Applied Philosophy Brenda Almond / Knjiga Mehka
common.buy 54.07 €
Divine Order & Alien Passage Arthur Carlo Padoan / Knjiga Mehka
common.buy 11.03 €
A History Of The Mediaeval Christian Church Vance Randolph / Knjiga Mehka
common.buy 19.33 €
Fire and Rescue Incident Command: A Practical Guide to Incident Ground Management Tony Prosser / Knjiga Mehka
common.buy 50.63 €
Voices of Color Gail Bauman / Knjiga Mehka
common.buy 32.40 €
Musical Witness and Holocaust Representation Wlodarski / Knjiga Mehka
common.buy 45.97 €
Matryoshkas in Therapy MR Roger Day / Knjiga Mehka
common.buy 8.90 €
Inventory of Odonata (Dragonflies and Damselflies) at Fire Island National Seashore National Park Service / Knjiga Mehka
common.buy 14.98 €
R. CRUMB: From the Underground to GENESIS R. Crumb / Knjiga Trda
common.buy 64.30 €
31 Months in Japan Lorna Collins / Knjiga Mehka
common.buy 14.07 €
Exploring the relevance of usability criteria to the booking process in e-tourism Leyla Abolahrar / Knjiga Mehka
common.buy 40.30 €
Learn Chinese with Mike Absolute Beginner Coursebook and Activity Book Pack Seasons 1 & 2 Mike Hainzinger / Knjiga Mehka
common.buy 37.97 €
Texting Toward Utopia Ben Agger / Knjiga Mehka
common.buy 61.06 €
User'S Guide to Coenzyme Q10 Martin Zucker / Knjiga Mehka
common.buy 5.16 €
Basher Five-Two Scott O'Grady / Knjiga Mehka
common.buy 6.57 €
Dory Fantasmagory Abby Hanlon / Knjiga Mehka
common.buy 9.31 €
Deadfall Anna Carey / Knjiga Trda
common.buy 12.85 €
Edexcel International GCSE (9-1) Mathematics Practice Book Third Edition Trevor Johnson / Knjiga Mehka
common.buy 20.25 €
Jesuit Slaveholding in Maryland, 1717-1838 Thomas Murphy / Knjiga Mehka
common.buy 69.98 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?