[email protected]
LIBRISTO 0
Spedizione gratuita con Packeta per un prezzo superiore a 79.99 €
BRT 7.99 € Punto BRT 7.99 € DHL 7.99 € HR Parcel 7.49 € GLS 3.99 €
phone Contatto phoneCome acquistare

Formal Techniques for Safety-Critical Systems

Lingua IngleseInglese
Libro In brossura
Libro Formal Techniques for Safety-Critical Systems Cyrille Artho
Codice Libristo: 15789087
Casa editrice Springer International Publishing AG, febbraio 2017
This book constitutes the refereed proceedings of the 5th International Workshop on Formal Technique... Descrizione completa
? points 172 b
72.67 €
Magazzino esterno in piccole quantità Inviamo tra 13-16 giorni

30 giorni per il reso

Potrebbe interessarti anche

New Insights Myrna Badgerow / In brossura
common.buy 12.19 €
Adaptive Intelligence STERNBERG ROBERT J. / Rigido
common.buy 108.32 €
Life's Chosen Angel Paul Kumar / In brossura
common.buy 20.01 €
Jojo Meets Cristo Gina Ann / In brossura
common.buy 11.87 €
Les Fautes d'Un Diplomate Portugais Dans La Question de l'Emprunt 1832 (Ed.1882) Sans Auteur / In brossura
common.buy 18.51 €
Saint Norbert, Archeveque de Magdebourg Et Fondateur de l'Ordre Des Chanoines Premontres SANS AUTEUR / In brossura
common.buy 24.50 €
Lasting Light Stephen Trimble / Rigido
common.buy 45.05 €
Les Quarante-Cinq - Tome 1 Alexandre Dumas p / In brossura
common.buy 49.66 €

This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016. The 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 23 submissions. The papers are organized in topical sections on specification and verification; automotive and railway systems; circuits and cyber-physical systems; parametrized verification.

Informazioni sul libro

Titolo completo Formal Techniques for Safety-Critical Systems
Autore Cyrille Artho, Peter Csaba Ölveczky
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2017
Numero di pagine 161
EAN 9783319539454
ISBN 3319539450
Codice Libristo 15789087
Casa editrice Springer International Publishing AG
Peso 2759
Dimensioni 155 x 235 x 10

Categorie

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Interazione uomo-macchina > Progettazione e usabilità delle interfacce utente
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 > Modelli di simulazione per computer
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

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