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
Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €
phone Contatto phoneCome acquistare

Formal Techniques for Safety-Critical Systems

4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

Lingua IngleseInglese
Libro In brossura
Libro Formal Techniques for Safety-Critical Systems Cyrille Artho
Codice Libristo: 02893193
Casa editrice Springer International Publishing AG, febbraio 2016
This book constitutes the refereed proceedings of the 4th International Workshop on Formal Technique... Descrizione completa
? points 111 b
45.49 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Toujou Kot a Kot Janet George / Libro In brossura
common.buy 6.79 €
I promessi sposi Alessandro Manzoni / Libro In brossura
common.buy 22.79 €
Nie z milosci Jesper Juul / Libro In brossura
common.buy 6.89 €
Tarzan - Intégrale russ manning newspaper strips (volume 2 : 1969-1971) BURROUGHS / Libro Rigido
common.buy 39.29 €
Vayamos adelante Sheryl Sandberg / Libro elettronico Adobe ePub DRM
common.buy 14.29 €
Rakkaus, kestava kiusaus Konkka Anita Konkka / Libro elettronico Adobe ePub DRM
common.buy 7.99 €
Universo Sandman: El sue?o - Horas de vigilia vol. 01: Los bardos WILSON / Libro In brossura
common.buy 21.09 €
Legenden der Leidenschaft, 1 Blu-ray Steven Rosenblum / Video DVD
common.buy 13.19 €
Vocabulaire progressif du français Niveau perfectionnement ksiazka + plyta CD audio Claire Miquel / Libro In brossura
common.buy 32.19 €
Trois jours dans la vie de Paul Cézanne Mika BIERMANN / Libro In brossura
common.buy 8.99 €

This book constitutes the refereed proceedings of the 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015, held in Paris, France, in November 2015. §The 15 revised full papers presented together with one invited talk and two tool papers were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on timed systems; railway systems; fault tolerance; automotive systems; software and systems analysis; tools.

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 Formal Techniques for Safety-Critical Systems
Autore Cyrille Artho, Peter Csaba Ölveczky
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2016
Numero di pagine 271
EAN 9783319295091
ISBN 3319295098
Codice Libristo 02893193
Casa editrice Springer International Publishing AG
Peso 4336
Dimensioni 155 x 235 x 15

Categorie

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Interazione uomo-macchina > Progettazione e usabilità delle interfacce utente
Informatica e Tecnologia dell’Informazione > Applicazioni grafiche e multimediali > Grafica e modellazione 3D
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 > Architettura e progettazione logica dei 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

Potrebbe interessarti anche

Pediatrics for Underserved Populations Klass Perri / Libro In brossura
common.buy 68.79 €
While Presenting Love and Friendship: Are you sitting comfortably? Natural Flowism / Libro In brossura
common.buy 23.69 €
Sweetener HIGGINS MARISSA / Libro Rigido
common.buy 16.79 €
Chicken Run: The Official Book of the Film TBC / Libro In brossura
common.buy 7.99 €
Understanding OpenSCAD Alicia Noors / Libro In brossura
common.buy 11.79 €
Conquering Familiar and Limiting Spirits: : Breaking the circle Ebenezer J Ariwayo / Libro In brossura
common.buy 7.49 €
Agricola and Germania Tacitus / Libro In brossura
common.buy 9.79 €
Chihuahua Express Alan Walker / Libro In brossura
common.buy 11.29 €
From the Midst of Wickedness Nelson Cover / Libro In brossura
common.buy 15.59 €
Elements of Mechanical Design James G. Skakoon / Libro In brossura
common.buy 28.49 €
Charles Dickens's Our Mutual Friend Sean Grass / Libro Rigido
common.buy 213.29 €
Securing America's Future Max J. Skidmore / Libro Rigido
common.buy 59.29 €
Laser assisted K-shell Compton effect Olimpia Budriga / Libro In brossura
common.buy 46.59 €

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?