Controllare lo stato dell'ordine

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

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

phone

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

0

Libro Formal Methods for Industrial Critical Systems Frédéric Lang

Formal Methods for Industrial Critical Systems

19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings

Frédéric Lang

Francesco Flammini

Lingua

Inglese

Libro In brossura

Libro Formal Methods for Industrial Critical Systems Frédéric Lang

Codice Libristo: 05147916

Casa editrice Springer International Publishing AG, agosto 2014

This book constitutes the proceedings of the 19th International Conference on Formal Methods for Ind... Descrizione completa

Codice Libristo: 05147916

?

points

107 b

43.69 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Gruppenunterstutzende Systeme in Forschung Und Entwicklung Holger Wohlenberg

/

In brossura

41.49 €

L'amant de mon mari Astruc

/

In brossura

16.69 €

Die großen kosmischen Lehren des Jesus von Nazareth Gabriele

/

In brossura

22.09 €

eTrex Handbuch Michael Blomeke

/

In brossura

16.49 €

Дональд Трамп. Искусство сделки Дональд Трамп

/

In brossura

13.89 €

WAS IST WAS Band 81 Die sieben Weltwunder Christine Paxmann

/

Rigido

10.29 €

Revue critique des poissons fossiles figur?(c)s dans l'Ittiolitologia verones?(c) Louis Agassiz

/

In brossura

10.69 €

Egg Sally Grindley

/

In brossura

3.89 €

City-Memo, Hamburg

/

Gioco

14.79 €

Owoce Poznaj świat

/

binding.

2.39 €

Genießen, leben, lieben Barbara Jung

/

In brossura

10.69 €

Das Buch der Siegel Paul Foster Case

/

In brossura

12.59 €

Combat d'Epinay-Sur-Seine (30 Novembre 1870) Orse-F

/

In brossura

10.89 €

This book constitutes the proceedings of the 19th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2014, held in Florence, Italy, in September 2014. The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: cyber-physical systems; computer networks; railway control systems; verification methods; and hardware and software testing.

Attrice & Poliglotta

EWA KASP per

Riproduci video

Ewa Kasp

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 Methods for Industrial Critical Systems

Autore Frédéric Lang, Francesco Flammini

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2014

Numero di pagine 201

EAN 9783319107011

ISBN 3319107011

Codice Libristo 05147916

Casa editrice Springer International Publishing AG

Peso 3343

Dimensioni 155 x 235 x 12

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 > 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

Organo-di-Metallic Compounds (or Reagents) Zhenfeng Xi

/

In brossura

181.29 €

Subliminal Therapy Aka Yagerian Therapy: An Introduction for Patients Edwin K. Yager

/

In brossura

13.59 €

Children's Books and Their Illustrators Gleeson White

/

In brossura

10.19 €

Do You Really Want to Meet a Swan? Cari Meister

/

Rigido

38.49 €

Precalculus: Chapter Summaries & Practice Answers Cristina Berisso

/

In brossura

72.99 €

Elizabeth and Michael: The Queen of Hollywood and the King of Pop - A Love Story Donald Bogle

/

CD audio

46.79 €

Nicaea - The Rise of the Imperial Church William Speir

/

In brossura

13.09 €

Pencil Me In: A Trans Perspective in a Gendered World Michael Eric Brown

/

In brossura

13.19 €

Study Guide for Eudora Welty's Losing Battles Cengage Learning Gale

/

In brossura

9.99 €

Close Your Eyes and Count to 10 Lisa Unger

/

In brossura

16.29 €

Lone Star Dawn L. Lubertowicz

/

In brossura

12.89 €

Construction of Testimony Erin McGlothlin

/

Rigido

84.79 €

The CSS Alabama and CSS Shenandoah: The History and Legacy of the Confederacy's Legendary Raiding Ships during the Civil War Charles River Editors

/

In brossura

14.99 €

Voices Advanced: Student's Book TBC

/

In brossura

40.09 €

NEW ACADEMY LEV 3 WWDWAPRC PK Nick Coates

/

Libro

9.39 €

NORWEGIAN FAST TALK E02 E02

/

In brossura

3.89 €

Small Stakes No-Limit Hold 'em David Sklansky

/

In brossura

17.89 €

Prosperity Gospel vs The Gospel Dr Joseph Kinyanjui Karanja

/

In brossura

25.89 €

Boolean Functions Yves Crama

/

Rigido

193.69 €

Switch Carol Snow

/

In brossura

8.09 €

In preparazione

Barrier of a Common Language Dana Gioia

/

Rigido

81.79 €

Gdh 2000 - The Gerasimov-drell-hearn Sum Rule & The Nucleon Spin Structure In The Resonance Region Lothar Tiator

/

Rigido

194.59 €

Woman's Life Mgnus Shulamit

/

Rigido

83.59 €

Managing People and Organizations in Changing Contexts Graeme Martin

/

In brossura

85.39 €

Consulente di libri Libroamiko

Ciao, sono Libroamiko, posso aiutarti?