Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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
Nakladatelství Springer, Berlin, listopad 2009
This book addresses the most important techniques in improving the correctness of software, includin...
? points 116 b
1 155 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

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

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 pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Software Verification and Analysis
Autor Janusz Laski, William Stanley
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2010
Počet stran 234
EAN 9781849968294
ISBN 1849968292
Libristo kód 01434729
Nakladatelství Springer, Berlin
Váha 384
Rozměry 156 x 234 x 13

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Operační systémy
Výpočetní a informační technologie > Informatika
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Top
Survival in Auschwitz Primo Levi / Kniha Brožovaná
common.buy 256 Kč
Top Nové
Twisted Pawn (Deluxe Edition) L.J. Shen / Kniha Brožovaná
common.buy 349 Kč
All the Light and Dark Things Nathalie Jackson / Kniha Brožovaná
common.buy 423 Kč
Top
Mushoku Tensei: Jobless Reincarnation (Light Novel) Vol. 24 Rifujin Na Magonote / Kniha Brožovaná
common.buy 260 Kč
Literary Shrines Theodore F. Wolfe / Kniha Brožovaná
common.buy 489 Kč
Applied Philosophy Brenda Almond / Kniha Brožovaná
common.buy 1 308 Kč
Divine Order & Alien Passage Arthur Carlo Padoan / Kniha Brožovaná
common.buy 268 Kč
A History Of The Mediaeval Christian Church Vance Randolph / Kniha Brožovaná
common.buy 467 Kč
Fire and Rescue Incident Command: A Practical Guide to Incident Ground Management Tony Prosser / Kniha Brožovaná
common.buy 1 162 Kč
Voices of Color Gail Bauman / Kniha Brožovaná
common.buy 784 Kč
Musical Witness and Holocaust Representation Wlodarski / Kniha Brožovaná
common.buy 1 110 Kč
Matryoshkas in Therapy MR Roger Day / Kniha Brožovaná
common.buy 215 Kč
Inventory of Odonata (Dragonflies and Damselflies) at Fire Island National Seashore National Park Service / Kniha Brožovaná
common.buy 362 Kč
R. CRUMB: From the Underground to GENESIS R. Crumb / Kniha Pevná
common.buy 1 703 Kč
31 Months in Japan Lorna Collins / Kniha Brožovaná
common.buy 341 Kč
Exploring the relevance of usability criteria to the booking process in e-tourism Leyla Abolahrar / Kniha Brožovaná
common.buy 975 Kč
Learn Chinese with Mike Absolute Beginner Coursebook and Activity Book Pack Seasons 1 & 2 Mike Hainzinger / Kniha Brožovaná
common.buy 919 Kč
Texting Toward Utopia Ben Agger / Kniha Brožovaná
common.buy 1 475 Kč
User'S Guide to Coenzyme Q10 Martin Zucker / Kniha Brožovaná
common.buy 125 Kč
Basher Five-Two Scott O'Grady / Kniha Brožovaná
common.buy 148 Kč
Dory Fantasmagory Abby Hanlon / Kniha Brožovaná
common.buy 211 Kč
Deadfall Anna Carey / Kniha Pevná
common.buy 334 Kč
Edexcel International GCSE (9-1) Mathematics Practice Book Third Edition Trevor Johnson / Kniha Brožovaná
common.buy 467 Kč
Jesuit Slaveholding in Maryland, 1717-1838 Thomas Murphy / Kniha Brožovaná
common.buy 1 691 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet