Cărți de Ernst-Rüdiger Olderog

Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

Lecture Notes in Computer Science, nr. 13030

Editat de Ernst-Rüdiger Olderog et al.

22 noi 2021

Preț: 414^.63 lei 518^.29 lei

6-8 săpt.

-20%

Provably Correct Systems

NASA Monographs in Systems and Software Engineering

Editat de Mike Hinchey et al.

10 mar 2017

Preț: 610^.87 lei 763^.59 lei

39-44 zile

-20%

Verification of Sequential and Concurrent Programs

Texts in Computer Science

Autor Krzysztof R. Apt et al.

14 mar 2012

Preț: 542^.99 lei 678^.73 lei

6-8 săpt.

-20%

Real-Time Systems: Formal Specification and Automatic Verification

Autor Ernst-Rüdiger Olderog et al.

10 sep 2008

Preț: 597^.56 lei 746^.95 lei

6-8 săpt.

-20%

Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings

Lecture Notes in Computer Science, nr. 2469

Editat de Werner Damm et al.

28 aug 2002

Preț: 341^.95 lei 427^.44 lei

6-8 săpt.

-20%

Correct System Design: Recent Insights and Advances

Lecture Notes in Computer Science, nr. 1710

Editat de Ernst-Rüdiger Olderog et al.

22 sep 1999

Preț: 337^.00 lei 421^.25 lei

6-8 săpt.

-20%

Programmverifikation: Sequentielle, parallele und verteilte Programme

Springer-Lehrbuch

Autor Krzysztof R. Apt et al.

21 mar 1994

Preț: 241^.44 lei 301^.80 lei

6-8 săpt.

-20%