 | | | | | |
| Bild | | | | Bestellen |
|
|
90% |
|
Hybrid Systems V (1 Angebot) Control Synthesis of Hybrid Systems Based on Predicate Invariance.- Computing Approximating Automata for a Class of Linear Hybrid Systems.- On Hybrid Systems and the Modal µ-calculus.- The Extended... |
Springer Verlag 9783540656432 |
€ 49,99*
pro Stück |
|
90% |
|
Formal Methods and Software Engineering (1 Angebot) Invited Talks.- SFI: A Refinement Based Layered Software Architecture.- Developing Quality Software Systems Using the SOFL Formal Engineering Method.- Maintaining Referential Integrity on the Web.-... |
Springer Verlag 9783540000297 |
€ 99,99*
pro Stück |
|
90% |
|
Reachability Problems (1 Angebot) This book constitutes the proceedings of the 8th International Workshop on Reachability Problems, RP 2014, held in Oxford, UK, in September 2014. The 17 papers presented in this volume were careful... |
Springer Verlag 9783319114385 |
€ 48,00*
pro Stück |
|
90% |
|
Recent Trends in Algebraic Development Techniques (1 Angebot) Invited Topics.- A Type-Theoretic Memory Model for Verification of Sequential Java Programs.- From States to Histories.- Principles and Pragmatics of Subtyping in PVS.- Casl: Language, Methodology ... |
Springer Verlag 9783540678984 |
€ 49,99*
pro Stück |
|
90% |
|
|
Springer Verlag 9783030853648 |
€ 149,99*
pro Stück |
|
90% |
|
|
Springer Verlag 9783031303951 |
€ 169,99*
pro Stück |
|
90% |
|
|
Springer Verlag 9783642437113 |
€ 99,99*
pro Stück |
|
90% |
|
|
Springer Verlag 9783031609343 |
€ 179,99*
pro Stück |
|
90% |
|
|
Springer Verlag 9783031618970 |
€ 44,99*
pro Stück |
|
90% |
|
Advances in Petri Nets 1992 (1 Angebot) The main aims of the series of volumes "Advances in Petri Nets" are: - to present to the "outside" scientific community a fair picture of recent advances in the area of Petri nets, and - to encoura... |
Springer Verlag 9783540556107 |
€ 49,99*
pro Stück |
|
90% |
|
Applications and Theory of Petri Nets (1 Angebot) This book constitutes the refereed proceedings of the 29th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2008, held in Xi'an, China, ... |
Springer Verlag 9783540687450 |
€ 49,99*
pro Stück |
|
90% |
|
Ereignisdiskrete Systeme (1 Angebot) Modellierung und Analyse dynamischer Systeme mit Automaten, Markovketten und Petrinetzen |
Verlag Walter de Gruyter 9783110484670 |
€ 79,39*
pro Stück |
|
90% |
|
DALI System Komponete (6 Angebote) DALI-Multisensor zur Aufputzmontage in großen Höhen, Versorgungsspannung über DALI-Bus, Externer, mechanisch auf eine Montagehöhe zwischen 5 und 16 m einstellbarer Teleskop-Lichtfühler für eine anw... |
B.E.G. Brück Electronic PD4-DALISYS-PD-GH |
€ 190,33*
pro Stück |
|
90% |
|
Recent Trends in Algebraic Development Techniques (1 Angebot) Invited Technical Papers.- AGILE: Software Architecture for Mobility.- A Coinductive Calculus of Component Connectors.- An Attempt at Analysing the Consistency Problems in the UML from a Classical ... |
Springer Verlag 9783540205371 |
€ 49,99*
pro Stück |
|
90% |
|
|
Springer Verlag 9783031809316 |
€ 49,99*
pro Stück |
|
|
