Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Software Verification and Analysis

An Integrated, Hands-On Approach

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Software Verification and Analysis Janusz Laski
Libristo kód: 01434729
Nakladateľstvo Springer, Berlin, november 2009
This book addresses the most important techniques in improving the correctness of software, includin...
? points 122 b
50.63 €
Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Calligraphie 100 alphabets Harris / Kniha Pevná
common.buy 27.64 €
Seis grandes escritores rusos MARIANO FAZIO / Kniha Brožovaná
common.buy 18.02 €
Italia di carta. Viaggio tra le pagine che hanno raccontato il nostro paese Antonio Canu / Kniha Kniha
common.buy 24.80 €
300 modèles à dessiner en pas à pas - Perspective / Kniha Pevná
common.buy 20.55 €
DIPELODOCUS Y OTROS DINOSAURIOS DESCONOCIDOS BENINC· / Kniha Kniha
common.buy 21.26 €
Faits d’hiver à Riec-sur-Bélon Le Gall / Kniha Brožovaná
common.buy 13.16 €
Quellen zur Geschichte der Stadt Wien Anonym / Kniha Brožovaná
common.buy 35.74 €
Fritz misto. Le ricette per imparare e capire il tedesco (e i tedeschi) Renata Beltrami / Kniha Brožovaná
common.buy 16.30 €
Viel Glück / Kniha Pevná
common.buy 6.98 €
Berlin Barbara Rusch / Kniha Pevná
common.buy 28.05 €
La déontologie gouvernementale Kerléo / Kniha Brožovaná
common.buy 35.74 €
La curación del paralítico Groß / Kniha Brožovaná
common.buy 4.24 €
My Gold Mine Hans Joachim Höh / Hra/Hračka Hra
common.buy 14.27 €
GUIA DE RAPACES NOCTURNAS DE EUROPA MARCO MASTRORILLI / Kniha Brožovaná
common.buy 33.21 €
Les inconnus de Versailles les coulisses de la Cour Jacques Levron / Kniha Brožovaná
common.buy 12.55 €
Tu entrenador personal Fernando Orpinell / Kniha Brožovaná
common.buy 18.93 €
Windows Backup Server 2012 R2 - Deploiement, Gestion et Automatisation en Entreprise Hicham Kadiri / Kniha Brožovaná
common.buy 11.54 €
de la Responsabilite Des Proprietaires de Bois Et Forets Et Locataires de Chasses, Dommages Sorel-A / Kniha Brožovaná
common.buy 17.51 €
CONTRA LA CARIDAD DANIEL RAVENTOS / Kniha Brožovaná
common.buy 34.63 €

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.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Software Verification and Analysis
Autor Janusz Laski, William Stanley
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2010
Počet strán 234
EAN 9781849968294
ISBN 1849968292
Libristo kód 01434729
Nakladateľstvo Springer, Berlin
Váha 384
Rozmery 156 x 234 x 13

Kategórie

Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Operačné systémy
Výpočtové a informačné technológie > Informatika
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

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

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?