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 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Formal Methods for Industrial Critical Systems

Name: Formal Methods for Industrial Critical Systems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01570290
Price: 45.49 EUR
Availability: InStock
Author: Stefan Leue
ISBN: 9783540797067

12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

Stefan Leue

Pedro Merino

Lingua

Inglese

Libro In brossura

Codice Libristo: 01570290

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maggio 2008

This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Wo... Descrizione completa

Codice Libristo: 01570290

111 b

45.49 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Gesundheitspflege im Mittelalter Ludwig Kotelmann

In brossura

46.29 €

Kindergartenblock-Paket ab 4 Jahre - Das kann ich schon! Ulrike Maier

Gioco

16.79 €

Wikingowie. Magiczny domek na drzewie. Akademia Tropicieli Faktów Will Osborne

In brossura

4.49 €

TACTICA Y ETICA. ESCRITOS TEMPRANOS 1919-1929 LUKACS

Libro

29.59 €

SUISSE ROMANDE : VOS ESCAPADES ECO-RESPONSABLES Guédron

Rigido

15.59 €

Marcel Gromaire. La vie et l'oeuvre. Catalogue raisonné des peintures Françoise Chibret-Plaussu

Rigido

47.79 €

6 séquences pour lire Cycle 2 Les neuf maisons de kouri Bernard Couté

In brossura

24.09 €

Mit den Spatzen unterwegs im Zoo Eva Lübbe

In brossura

11.09 €

El Poder del Deseo: Cómo Lograr tus Sue?os Miguel Marco

In brossura

19.19 €

Personenschaden-Management Christoph Hugemann

In brossura

64.49 €

Collage Dortmund - 1.000 Teile (Puzzle)

Gioco

28.99 €

Kaiser Hadrian Gemalde der roemischhellenischen Welt zu seiner Zeit Ferdinand Gregorovius

In brossura

27.29 €

Geschichte der Universitat Heidelberg Johann Friedrich Hautz

In brossura

27.99 €

HHhH (Prix Goncourt du premier roman 2010) Laurent Binet

Rigido

22.79 €

Indyk L

Giocattolo

5.39 €

This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2007, held in Berlin, Germany, in July 2007 - colocated with CAV 2007, the 19th International Conference on Computer Aided Verification.§The 15 revised full papers presented together with the abstracts of 2 invited lectures were carefully selected during two rounds of reviewing and improvement from 31 initial submissions. The papers strive to promote research and development for the improvement of formal methods and tools for industrial applications and they are organized in topical sections on control systems, scheduling and time, verification, software, and testing.