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č Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 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 115 b
1 154 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

DIPELODOCUS Y OTROS DINOSAURIOS DESCONOCIDOS BENINC· / Kniha Kniha
common.buy 508 Kč
Das perfekte Optigrill-Kochbuch / Kniha Brožovaná
common.buy 381 Kč
The Hexaglot Bible: Comprising The Holy Scriptures Of The Old And New Testaments In The Original Tongues, Together With The Septuagint, Th Anonymous / Kniha Pevná
common.buy 1 011 Kč
Berlin Barbara Rusch / Kniha Pevná
common.buy 776 Kč
Tu entrenador personal Fernando Orpinell / Kniha Brožovaná
common.buy 453 Kč
Quellen zur Geschichte der Stadt Wien Anonym / Kniha Brožovaná
common.buy 812 Kč
Seis grandes escritores rusos MARIANO FAZIO / Kniha Brožovaná
common.buy 432 Kč
Faits d’hiver à Riec-sur-Bélon Le Gall / Kniha Brožovaná
common.buy 289 Kč
Calligraphie 100 alphabets Harris / Kniha Pevná
common.buy 638 Kč
300 modèles à dessiner en pas à pas - Perspective / Kniha Pevná
common.buy 469 Kč
Top
A cena con l'assassino Alexandra Benedict / Kniha Brožovaná
common.buy 195 Kč
Italia di carta. Viaggio tra le pagine che hanno raccontato il nostro paese Antonio Canu / Kniha Kniha
common.buy 593 Kč
Fritz misto. Le ricette per imparare e capire il tedesco (e i tedeschi) Renata Beltrami / Kniha Brožovaná
common.buy 386 Kč
La déontologie gouvernementale Kerléo / Kniha Brožovaná
common.buy 834 Kč
Viel Glück / Kniha Pevná
common.buy 164 Kč
Töframosa - волшебный мох. Все про исландскую магию / Kniha Pevná
common.buy 2 260 Kč
La curación del paralítico Groß / Kniha Brožovaná
common.buy 108 Kč
Top
My Gold Mine Hans Joachim Höh / Hra/Hračka Hra
common.buy 325 Kč
GUIA DE RAPACES NOCTURNAS DE EUROPA MARCO MASTRORILLI / Kniha Brožovaná
common.buy 799 Kč
Les inconnus de Versailles les coulisses de la Cour Jacques Levron / Kniha Brožovaná
common.buy 275 Kč
Conductores de la Comunidad Foral de Navarra. Temario y test de la parte específica Martos Navarro / Kniha Brožovaná
common.buy 1 328 Kč
Windows Backup Server 2012 R2 - Deploiement, Gestion et Automatisation en Entreprise Hicham Kadiri / Kniha Brožovaná
common.buy 279 Kč
CONTRA LA CARIDAD DANIEL RAVENTOS / Kniha Brožovaná
common.buy 790 Kč
Il viaggio della tartaruga che ha imparato a volare: II Edizione Paolo Nuti / Kniha Brožovaná
common.buy 219 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

Llama Llama 5-Minute Stories Anna Dewdney / Kniha Pevná
common.buy 279 Kč
Dory Fantasmagory Abby Hanlon / Kniha Brožovaná
common.buy 204 Kč
R. CRUMB: From the Underground to GENESIS R. Crumb / Kniha Pevná
common.buy 1 674 Kč
miRNA in Cancer Pathology Zainab Al-Doori / Kniha Brožovaná
common.buy 590 Kč
Inventory of Odonata (Dragonflies and Damselflies) at Fire Island National Seashore National Park Service / Kniha Brožovaná
common.buy 362 Kč
Matryoshkas in Therapy MR Roger Day / Kniha Brožovaná
common.buy 215 Kč
Vintage Fashion & Couture Kerry Taylor / Kniha Pevná
common.buy 795 Kč
Musical Witness and Holocaust Representation Wlodarski / Kniha Brožovaná
common.buy 1 110 Kč
Voices of Color Gail Bauman / Kniha Brožovaná
common.buy 784 Kč
Development of a Digital Library based on Cloud Computing Model Chimdi Walter Ndubuisi / Kniha Brožovaná
common.buy 571 Kč
The Tie That Binds: Building a Strong Marriage Rev Jeffrey P Pedersen / Kniha Brožovaná
common.buy 320 Kč
Fire and Rescue Incident Command: A Practical Guide to Incident Ground Management Tony Prosser / Kniha Brožovaná
common.buy 1 105 Kč
A History Of The Mediaeval Christian Church Vance Randolph / Kniha Brožovaná
common.buy 467 Kč
Divine Order & Alien Passage Arthur Carlo Padoan / Kniha Brožovaná
common.buy 268 Kč
Imaging of the Liver and Intra-hepatic Biliary Tract Emilio Quaia / Kniha Brožovaná
common.buy 2 991 Kč
Applied Philosophy Brenda Almond / Kniha Brožovaná
common.buy 1 379 Kč
Literary Shrines Theodore F. Wolfe / Kniha Brožovaná
common.buy 502 Kč
Top
Mushoku Tensei: Jobless Reincarnation (Light Novel) Vol. 24 Rifujin Na Magonote / Kniha Brožovaná
common.buy 299 Kč
All the Light and Dark Things Nathalie Jackson / Kniha Brožovaná
common.buy 434 Kč
Blue Water Red Blood DL Havlin / E-kniha Adobe ePub DRM
common.buy 470 Kč
Top
Twisted Pawn (Deluxe Edition) L.J. Shen / Kniha Brožovaná
common.buy 436 Kč
Texting Toward Utopia Ben Agger / Kniha Brožovaná
common.buy 1 548 Kč
Exploring the relevance of usability criteria to the booking process in e-tourism Leyla Abolahrar / Kniha Brožovaná
common.buy 975 Kč
Red Planet William John Locke / Kniha Brožovaná
common.buy 368 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
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?