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 €
Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Verified Software. Theories, Tools, and Experiments

10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers

Lingua IngleseInglese
Libro In brossura
Libro Verified Software. Theories, Tools, and Experiments Ruzica Piskac
Codice Libristo: 20392651
Casa editrice Springer Nature Switzerland AG, novembre 2018
This volume constitutes the thoroughly refereed post-conference proceedings of the 10th Internationa... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

PoesÃ-as / Libro Rigido
common.buy 31.79 €
Maregelvollzugsrecht Heinz Kammeier / Libro elettronico Adobe ePub DRM
common.buy 183.99 €
Les conséquences sanitaires des eaux de crue sur la vie des habitants des bidonvilles Bulli Dibba / Libro In brossura
common.buy 40.99 €
Une analyse de la biopolitique apr?s la révolution moléculaire Juan David Betancourt Ramirez / Libro In brossura
common.buy 57.69 €
Vao Thiền NGUY N MINH / Libro In brossura
common.buy 10.29 €
Weihnachtsbluten in Sitte und Sage Wilhelm Mannhardt / Libro In brossura
common.buy 16.89 €

This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018. The 19 full papers presented were carefully revised and selected from 24 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.

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. Theories, Tools, and Experiments
Autore Ruzica Piskac, Philipp Rümmer
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2018
Numero di pagine 345
EAN 9783030035914
Codice Libristo 20392651
Casa editrice Springer Nature Switzerland AG
Peso 557
Dimensioni 155 x 235 x 20

Categorie

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale > Sistemi esperti e basati sulla conoscenza
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 > Progettazione e analisi di sistemi
Informatica e Tecnologia dell’Informazione > Informatica: argomenti di interesse generale
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

Garage Sale Diamonds Suzi Weinert / Libro In brossura
common.buy 20.39 €
Lost Children Timothy Shay Arthur / Libro Rigido
common.buy 41.59 €
Chapters of a Life John Nieman / Libro In brossura
common.buy 17.99 €
Stressbusters: Tips to Feel Healthy, Alive and Energized Katherine Butler / Libro Rigido
common.buy 21.99 €
Empires and the Reach of the Global Tony Ballantyne / Libro In brossura
common.buy 37.39 €
The Reluctant Dragon Kenneth Grahame / Libro In brossura
common.buy 9.09 €
Human Aura WILLIAM WA ATKINSON / Libro Rigido
common.buy 29.49 €
The Wisdom of Solomon 1917 W. O. E. Oesterley / Libro Rigido
common.buy 36.69 €
Crayola (R) Insect Colors / Libro In brossura
common.buy 9.19 €
les Cles de la PNL ROMAIN MARY / Libro In brossura
common.buy 19.29 €

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?