Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Software Verification and Analysis

An Integrated, Hands-On Approach

Język AngielskiAngielski
Książka Miękka
Książka Software Verification and Analysis Janusz Laski
Kod Libristo: 01434729
Wydawnictwo Springer, Berlin, listopad 2009
This book addresses the most important techniques in improving the correctness of software, includin...
? points 122 b
216.63 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

DIPELODOCUS Y OTROS DINOSAURIOS DESCONOCIDOS BENINC· / Książka Książka
common.buy 90.30 zł
Das perfekte Optigrill-Kochbuch / Książka Miękka
common.buy 71.73 zł
The Hexaglot Bible: Comprising The Holy Scriptures Of The Old And New Testaments In The Original Tongues, Together With The Septuagint, Th Anonymous / Książka Twarda
common.buy 188.22 zł
Berlin Barbara Rusch / Książka Twarda
common.buy 119.93 zł
Tu entrenador personal Fernando Orpinell / Książka Miękka
common.buy 80.56 zł
Quellen zur Geschichte der Stadt Wien Anonym / Książka Miękka
common.buy 152.80 zł
Faits d’hiver à Riec-sur-Bélon Le Gall / Książka Miękka
common.buy 55.39 zł
Töframosa - волшебный мох. Все про исландскую магию / Książka Twarda
common.buy 400.49 zł
300 modèles à dessiner en pas à pas - Perspective / Książka Twarda
common.buy 87.36 zł
TOP
A cena con l'assassino Alexandra Benedict / Książka Miękka
common.buy 21.20 zł
Seis grandes escritores rusos MARIANO FAZIO / Książka Miękka
common.buy 76.90 zł
Italia di carta. Viaggio tra le pagine che hanno raccontato il nostro paese Antonio Canu / Książka Książka
common.buy 99.84 zł
Conductores de la Comunidad Foral de Navarra. Temario y test de la parte específica Martos Navarro / Książka Miękka
common.buy 235.60 zł
La déontologie gouvernementale Kerléo / Książka Miękka
common.buy 151.99 zł
Viel Glück / Książka Twarda
common.buy 29.92 zł
Calligraphie 100 alphabets Harris / Książka Twarda
common.buy 117.29 zł
La curación del paralítico Groß / Książka Miękka
common.buy 17.85 zł
My Gold Mine Hans Joachim Höh / Gra/Zabawka Gra
common.buy 61.08 zł
GUIA DE RAPACES NOCTURNAS DE EUROPA MARCO MASTRORILLI / Książka Miękka
common.buy 141.64 zł
Les inconnus de Versailles les coulisses de la Cour Jacques Levron / Książka Miękka
common.buy 52.96 zł
Fritz misto. Le ricette per imparare e capire il tedesco (e i tedeschi) Renata Beltrami / Książka Miękka
common.buy 65.13 zł
Windows Backup Server 2012 R2 - Deploiement, Gestion et Automatisation en Entreprise Hicham Kadiri / Książka Miękka
common.buy 52.04 zł
CONTRA LA CARIDAD DANIEL RAVENTOS / Książka Miękka
common.buy 148.03 zł
Il viaggio della tartaruga che ha imparato a volare: II Edizione Paolo Nuti / Książka Miękka
common.buy 40.88 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Software Verification and Analysis
Autor Janusz Laski, William Stanley
Język Angielski
Oprawa Książka - Miękka
Data wydania 2010
Liczba stron 234
EAN 9781849968294
ISBN 1849968292
Kod Libristo 01434729
Wydawnictwo Springer, Berlin
Waga 384
Wymiary 156 x 234 x 13

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Systemy operacyjne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka)
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Llama Llama 5-Minute Stories Anna Dewdney / Książka Twarda
common.buy 51.84 zł
TOP
Dory Fantasmagory Abby Hanlon / Książka Miękka
common.buy 37.33 zł
R. CRUMB: From the Underground to GENESIS R. Crumb / Książka Twarda
common.buy 300.95 zł
miRNA in Cancer Pathology Zainab Al-Doori / Książka Miękka
common.buy 111.00 zł
Inventory of Odonata (Dragonflies and Damselflies) at Fire Island National Seashore National Park Service / Książka Miękka
common.buy 67.47 zł
Matryoshkas in Therapy MR Roger Day / Książka Miękka
common.buy 39.97 zł
Vintage Fashion & Couture Kerry Taylor / Książka Twarda
common.buy 148.54 zł
Musical Witness and Holocaust Representation Wlodarski / Książka Miękka
common.buy 206.18 zł
Voices of Color Gail Bauman / Książka Miękka
common.buy 145.60 zł
Development of a Digital Library based on Cloud Computing Model Chimdi Walter Ndubuisi / Książka Miękka
common.buy 107.35 zł
The Tie That Binds: Building a Strong Marriage Rev Jeffrey P Pedersen / Książka Miękka
common.buy 59.65 zł
Fire and Rescue Incident Command: A Practical Guide to Incident Ground Management Tony Prosser / Książka Miękka
common.buy 205.77 zł
A History Of The Mediaeval Christian Church Vance Randolph / Książka Miękka
common.buy 86.95 zł
Divine Order & Alien Passage Arthur Carlo Padoan / Książka Miękka
common.buy 49.71 zł
Applied Philosophy Brenda Almond / Książka Miękka
common.buy 242.30 zł
Literary Shrines Theodore F. Wolfe / Książka Miękka
common.buy 91.01 zł
TOP
Mushoku Tensei: Jobless Reincarnation (Light Novel) Vol. 24 Rifujin Na Magonote / Książka Miękka
common.buy 55.39 zł
All the Light and Dark Things Nathalie Jackson / Książka Miękka
common.buy 78.93 zł
Blue Water Red Blood DL Havlin / E-book Adobe ePub DRM
common.buy 83.40 zł
TOP
Twisted Pawn (Deluxe Edition) L.J. Shen / Książka Miękka
common.buy 67.67 zł
Texting Toward Utopia Ben Agger / Książka Miękka
common.buy 286.74 zł
Exploring the relevance of usability criteria to the booking process in e-tourism Leyla Abolahrar / Książka Miękka
common.buy 183.45 zł
Red Planet William John Locke / Książka Miękka
common.buy 69.19 zł
Echocardiography in Pediatric and Congenital Heart Disease Wyman W. Lai / E-book Adobe ePub DRM
common.buy 1 330.67 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?