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.

Verified Software: Theorie, Tools, Experiments

5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers

Lingua IngleseInglese
Libro In brossura
Libro Verified Software: Theorie, Tools, Experiments Ernie Cohen
Codice Libristo: 02433185
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, gennaio 2014
This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

SoC-basierte Erprobungsplattform fur CCD-Kameras mit Channel Link IF Ramin Jeyrani-Mameghani / Libro In brossura
common.buy 51.99 €
Consequencias clinicas da transmissao vertical de sifilis Claudio Quinan Balestrin Neto / Libro In brossura
common.buy 30.79 €
Los musicatos: Y la caja de música ISABEL ASENSI LIDON / Libro In brossura
common.buy 14.09 €
Une touche de bleu - Tome 04 Nozomi Suzuki / Libro In brossura
common.buy 12.19 €
The Assent Unterwirf dich der Dunkelheit, 1 Blu-ray Pearry Reginald Teo / Video Blu-ray
common.buy 17.89 €
Auswanderung der protestantisch gesinnten Salzburger in den Jahren 1731 und 1732 Ludwig Clarus / Libro In brossura
common.buy 37.29 €
Dance & love. La mia musica, la mia vita Gabry Ponte / Libro Rigido
common.buy 21.29 €
Power Query w Excelu i Power BI. Zbieranie i przekształcanie danych Daniil Maslyuk / Libro In brossura
common.buy 25.39 €

This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park, CA, USA, in May 2013. The 17 revised full papers presented were carefully revised and selected from 35 submissions. The papers address a wide range of topics including education, requirements modeling, specification languages, specification/verification case-studies, formal calculi, software design methods, automatic code generation, refinement methodologies, compositional analysis, verification tools, tool integration, benchmarks, challenge problems, and integrated verification environments.

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 Verified Software: Theorie, Tools, Experiments
Autore Ernie Cohen, Andrey Rybalchenko
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2014
Numero di pagine 345
EAN 9783642541070
ISBN 3642541070
Codice Libristo 02433185
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 5504
Dimensioni 155 x 235 x 20

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Compilatori e interpreti
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale
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

New Initiatives On Lepton Flavor Violation And Neutrino Oscillation With High Intense Muon And Neutrino Sources William R Molzon / Libro Rigido
common.buy 149.29 €
The Palgrave Handbook of Experimental Cinema Jonathan Walley / Libro In brossura
common.buy 110.59 €
On Legitimacy in Global Governance Soren Hilbrich / Libro In brossura
common.buy 121.69 €
HBR's 10 Must Reads on Strategy (including featured article &quote;What Is Strategy?&quote; by Michael E. Porter) Harvard Business Review / Libro elettronico Adobe ePub DRM
common.buy 29.79 €
Jane Austen: What Is Right To Be Done Memo Cube Insight Editions / Libro In brossura
common.buy 15.59 €
Wytch Wars Sharon Anne Guthrie / Libro In brossura
common.buy 10.69 €
Belinda Maria Edgeworth / Libro In brossura
common.buy 11.89 €
WHERE I NEED TO BE Kimberly Knight / Libro In brossura
common.buy 15.39 €
The Turtle Ship Helena Ku Rhee / Libro Rigido
common.buy 19.39 €
In preparazione
Living in Provence René Stoeltie / Libro Rigido
common.buy 22.69 €
What's my name? NEO Tiina Walsh / Libro In brossura
common.buy 15.39 €
Learn from Me Fr Con Buckley / Libro In brossura
common.buy 29.89 €
Live Successfully! Book No. 7 - How to Make Friends and be Persuasive Anon / Libro In brossura
common.buy 15.19 €
I migliori
Kcd Boulet/Animal Spirit Susan Seddon Boulet / Pubblicazioni cartacee Carte
common.buy 12.39 €
Time-Frequency Analysis and Synthesis of Linear Signal Spaces Franz Hlawatsch / Libro In brossura
common.buy 160.89 €
Religion and State in the American Jewish Experience Jonathan D. Sarna / Libro Rigido
common.buy 146.99 €
Heirs of Salvation Gloria Laura Lavoie / Libro In brossura
common.buy 13.79 €
Gentry Leaders In Peace And War Mary Wolffe / Libro Rigido
common.buy 124.59 €
Cincinnati Day Trips Jennifer Renee Reed / Libro In brossura
common.buy 20.49 €
Rome Franco Archibugi / Libro In brossura
common.buy 69.19 €
Look Back with Longing Suzanne Morris / Libro In brossura
common.buy 21.19 €
Young Ladies Conduct John. Essex / Libro In brossura
common.buy 23.79 €
Kingdoms & the Elves of the Reaches (Keeper Martin's Tales, Book 1) Robert Stanek / Libro In brossura
common.buy 15.19 €

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