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 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € 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.18 €
Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

DIPELODOCUS Y OTROS DINOSAURIOS DESCONOCIDOS BENINC· / Kniha Kniha
common.buy 20.91 €
Das perfekte Optigrill-Kochbuch / Kniha Brožovaná
common.buy 16.59 €
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 41.53 €
Berlin Barbara Rusch / Kniha Pevná
common.buy 27.75 €
Tu entrenador personal Fernando Orpinell / Kniha Brožovaná
common.buy 18.60 €
Quellen zur Geschichte der Stadt Wien Anonym / Kniha Brožovaná
common.buy 35.39 €
Seis grandes escritores rusos MARIANO FAZIO / Kniha Brožovaná
common.buy 17.79 €
Faits d’hiver à Riec-sur-Bélon Le Gall / Kniha Brožovaná
common.buy 11.86 €
Calligraphie 100 alphabets Harris / Kniha Pevná
common.buy 26.24 €
300 modèles à dessiner en pas à pas - Perspective / Kniha Pevná
common.buy 19.30 €
Top
A cena con l'assassino Alexandra Benedict / Kniha Brožovaná
common.buy 8.34 €
Italia di carta. Viaggio tra le pagine che hanno raccontato il nostro paese Antonio Canu / Kniha Kniha
common.buy 24.33 €
Fritz misto. Le ricette per imparare e capire il tedesco (e i tedeschi) Renata Beltrami / Kniha Brožovaná
common.buy 15.88 €
La déontologie gouvernementale Kerléo / Kniha Brožovaná
common.buy 34.29 €
Viel Glück / Kniha Pevná
common.buy 6.73 €
Töframosa - волшебный мох. Все про исландскую магию / Kniha Pevná
common.buy 92.92 €
La curación del paralítico Groß / Kniha Brožovaná
common.buy 4.42 €
Top
My Gold Mine Hans Joachim Höh / Hra/Hračka Hra
common.buy 14.17 €
GUIA DE RAPACES NOCTURNAS DE EUROPA MARCO MASTRORILLI / Kniha Brožovaná
common.buy 32.78 €
Les inconnus de Versailles les coulisses de la Cour Jacques Levron / Kniha Brožovaná
common.buy 11.25 €
Conductores de la Comunidad Foral de Navarra. Temario y test de la parte específica Martos Navarro / Kniha Brožovaná
common.buy 54.60 €
Windows Backup Server 2012 R2 - Deploiement, Gestion et Automatisation en Entreprise Hicham Kadiri / Kniha Brožovaná
common.buy 11.46 €
CONTRA LA CARIDAD DANIEL RAVENTOS / Kniha Brožovaná
common.buy 34.40 €
Il viaggio della tartaruga che ha imparato a volare: II Edizione Paolo Nuti / Kniha Brožovaná
common.buy 8.94 €

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ť

Llama Llama 5-Minute Stories Anna Dewdney / Kniha Pevná
common.buy 12.26 €
Dory Fantasmagory Abby Hanlon / Kniha Brožovaná
common.buy 9.44 €
R. CRUMB: From the Underground to GENESIS R. Crumb / Kniha Pevná
common.buy 68.78 €
miRNA in Cancer Pathology Zainab Al-Doori / Kniha Brožovaná
common.buy 25.74 €
Inventory of Odonata (Dragonflies and Damselflies) at Fire Island National Seashore National Park Service / Kniha Brožovaná
common.buy 14.88 €
Matryoshkas in Therapy MR Roger Day / Kniha Brožovaná
common.buy 8.84 €
Vintage Fashion & Couture Kerry Taylor / Kniha Pevná
common.buy 34.50 €
Musical Witness and Holocaust Representation Wlodarski / Kniha Brožovaná
common.buy 45.65 €
Voices of Color Gail Bauman / Kniha Brožovaná
common.buy 33.78 €
Development of a Digital Library based on Cloud Computing Model Chimdi Walter Ndubuisi / Kniha Brožovaná
common.buy 24.94 €
The Tie That Binds: Building a Strong Marriage Rev Jeffrey P Pedersen / Kniha Brožovaná
common.buy 13.17 €
Fire and Rescue Incident Command: A Practical Guide to Incident Ground Management Tony Prosser / Kniha Brožovaná
common.buy 47.76 €
A History Of The Mediaeval Christian Church Vance Randolph / Kniha Brožovaná
common.buy 19.21 €
Divine Order & Alien Passage Arthur Carlo Padoan / Kniha Brožovaná
common.buy 11.05 €
Imaging of the Liver and Intra-hepatic Biliary Tract Emilio Quaia / Kniha Brožovaná
common.buy 130.13 €
Applied Philosophy Brenda Almond / Kniha Brožovaná
common.buy 56.71 €
Literary Shrines Theodore F. Wolfe / Kniha Brožovaná
common.buy 20.61 €
Top
Mushoku Tensei: Jobless Reincarnation (Light Novel) Vol. 24 Rifujin Na Magonote / Kniha Brožovaná
common.buy 12.26 €
All the Light and Dark Things Nathalie Jackson / Kniha Brožovaná
common.buy 17.79 €
Blue Water Red Blood DL Havlin / E-kniha Adobe ePub DRM
common.buy 19.31 €
Top
Twisted Pawn (Deluxe Edition) L.J. Shen / Kniha Brožovaná
common.buy 18.90 €
Texting Toward Utopia Ben Agger / Kniha Brožovaná
common.buy 63.65 €
Exploring the relevance of usability criteria to the booking process in e-tourism Leyla Abolahrar / Kniha Brožovaná
common.buy 42.55 €
Red Planet William John Locke / Kniha Brožovaná
common.buy 16.08 €

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ť?