Ihr Marktplatz für antiquarische und neue Bücher | Login | Neu registrieren Registrieren
Buchfreund als App
Formal Methods for Industrial Critical Systems (Softcover)  - 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers
Bild 1 von 1

Formal Methods for Industrial Critical Systems (Softcover)

13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers

2009 - Erschienen 20.07.2009 - Kartoniert, 244 Seiten, 235mm x 155mm x 14mm, Sprache(n): eng

Produktart:
📚 Bücher
Anbieter:
MARZIES Buch- und Medienhandel
Bestell-Nr.:
A7107130
Kategorie(n):
ISBN:
3642032397
EAN:
9783642032394
Stichworte:

automation, avionics, Casestudy, colouredpetrinets, compositionalmodeling, Constraints, demand-drivenevaluation, distributedverification, FlightControl, formalspecification, formalverification, functionalspecificationchecking, Softwareengineering, testing, verification, Echtzeit, Real-time, Realzeit

Angebotene Zahlungsarten
Vorauskasse, PayPal
Neuware
Neuware60,88 EURKostenloser Versand

Ähnliche Bücher, die interessant für Sie sein könnten Verlag: Springer Berlin

Meine zuletzt angesehenen Bücher