Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 7.99 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Software Verification and Analysis

An Integrated, Hands-On Approach

Lingua IngleseInglese
Libro In brossura
Libro Software Verification and Analysis Janusz Laski
Codice Libristo: 01434729
Casa editrice Springer, Berlin, novembre 2009
This book addresses the most important techniques in improving the correctness of software, includin...
? points 129 b
52.69 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Calligraphie 100 alphabets Harris / Libro Rigido
common.buy 28.39 €
Seis grandes escritores rusos MARIANO FAZIO / Libro In brossura
common.buy 17.79 €
Italia di carta. Viaggio tra le pagine che hanno raccontato il nostro paese Antonio Canu / Libro Libro
common.buy 25.69 €
300 modèles à dessiner en pas à pas - Perspective / Libro Rigido
common.buy 21.19 €
DIPELODOCUS Y OTROS DINOSAURIOS DESCONOCIDOS BENINC· / Libro Libro
common.buy 20.99 €
Faits d’hiver à Riec-sur-Bélon Le Gall / Libro In brossura
common.buy 13.49 €
Quellen zur Geschichte der Stadt Wien Anonym / Libro In brossura
common.buy 37.29 €
Fritz misto. Le ricette per imparare e capire il tedesco (e i tedeschi) Renata Beltrami / Libro In brossura
common.buy 16.89 €
Viel Glück / Libro Rigido
common.buy 7.29 €
Berlin Barbara Rusch / Libro Rigido
common.buy 29.29 €
La déontologie gouvernementale Kerléo / Libro In brossura
common.buy 36.79 €
La curación del paralítico Groß / Libro In brossura
common.buy 4.19 €
My Gold Mine Hans Joachim Höh / Gioco/giocattolo Gioco
common.buy 14.89 €
GUIA DE RAPACES NOCTURNAS DE EUROPA MARCO MASTRORILLI / Libro In brossura
common.buy 32.79 €
Les inconnus de Versailles les coulisses de la Cour Jacques Levron / Libro In brossura
common.buy 12.99 €
Tu entrenador personal Fernando Orpinell / Libro In brossura
common.buy 18.69 €
Windows Backup Server 2012 R2 - Deploiement, Gestion et Automatisation en Entreprise Hicham Kadiri / Libro In brossura
common.buy 12.59 €
de la Responsabilite Des Proprietaires de Bois Et Forets Et Locataires de Chasses, Dommages Sorel-A / Libro In brossura
common.buy 19.09 €
CONTRA LA CARIDAD DANIEL RAVENTOS / Libro In brossura
common.buy 35.99 €

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.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Software Verification and Analysis
Autore Janusz Laski, William Stanley
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2010
Numero di pagine 234
EAN 9781849968294
ISBN 1849968292
Codice Libristo 01434729
Casa editrice Springer, Berlin
Peso 384
Dimensioni 156 x 234 x 13

Categorie

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software
Informatica e Tecnologia dell’Informazione > Sistemi operativi
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

I migliori
Survival in Auschwitz Primo Levi / Libro In brossura
common.buy 12.69 €
I migliori Nuovi
Twisted Pawn (Deluxe Edition) L.J. Shen / Libro In brossura
common.buy 17.19 €
All the Light and Dark Things Nathalie Jackson / Libro In brossura
common.buy 19.19 €
I migliori
Mushoku Tensei: Jobless Reincarnation (Light Novel) Vol. 24 Rifujin Na Magonote / Libro In brossura
common.buy 12.29 €
Literary Shrines Theodore F. Wolfe / Libro In brossura
common.buy 21.99 €
Applied Philosophy Brenda Almond / Libro In brossura
common.buy 58.39 €
Divine Order & Alien Passage Arthur Carlo Padoan / Libro In brossura
common.buy 12.09 €
A History Of The Mediaeval Christian Church Vance Randolph / Libro In brossura
common.buy 20.99 €
Fire and Rescue Incident Command: A Practical Guide to Incident Ground Management Tony Prosser / Libro In brossura
common.buy 54.99 €
Voices of Color Gail Bauman / Libro In brossura
common.buy 35.09 €
Musical Witness and Holocaust Representation Wlodarski / Libro In brossura
common.buy 49.79 €
Matryoshkas in Therapy MR Roger Day / Libro In brossura
common.buy 9.69 €
Inventory of Odonata (Dragonflies and Damselflies) at Fire Island National Seashore National Park Service / Libro In brossura
common.buy 16.39 €
R. CRUMB: From the Underground to GENESIS R. Crumb / Libro Rigido
common.buy 72.59 €
31 Months in Japan Lorna Collins / Libro In brossura
common.buy 15.79 €
Exploring the relevance of usability criteria to the booking process in e-tourism Leyla Abolahrar / Libro In brossura
common.buy 44.79 €
Learn Chinese with Mike Absolute Beginner Coursebook and Activity Book Pack Seasons 1 & 2 Mike Hainzinger / Libro In brossura
common.buy 41.89 €
Texting Toward Utopia Ben Agger / Libro In brossura
common.buy 65.89 €
User'S Guide to Coenzyme Q10 Martin Zucker / Libro In brossura
common.buy 5.79 €
Basher Five-Two Scott O'Grady / Libro In brossura
common.buy 7.29 €
Dory Fantasmagory Abby Hanlon / Libro In brossura
common.buy 10.49 €
Deadfall Anna Carey / Libro Rigido
common.buy 14.59 €
Edexcel International GCSE (9-1) Mathematics Practice Book Third Edition Trevor Johnson / Libro In brossura
common.buy 21.89 €
Jesuit Slaveholding in Maryland, 1717-1838 Thomas Murphy / Libro In brossura
common.buy 75.49 €

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?