
Formal Methods for Embedded Distributed Systems: How to master the complexity 2004th Edition
Author(s): Fabrice Kordon (Editor), Michel Lemoine
Springer | 1991 | English | 9781402079962 | 283 pages

Author(s): Fabrice Kordon (Editor), Michel Lemoine
Springer | 1991 | English | 9781402079962 | 283 pages

Author(s): Achim Rettberg (Editor), Mauro Zanella (Editor), Rainer Domer (Editor), Andreas Gerstlauer (Editor), Franz Rammig (Editor)
Springer | 2007 | English | 9780387722573 | 460 pages

Author(s): Audun Jøsang (Editor), Torleiv Maseng (Editor), Svein J. Knapskog (Editor)
Springer | 2009 | English | 9783642047657 | 313 pages

Author(s): Edward Ashford Lee (Author), Sanjit Arunkumar Seshia (Author)
MIT | 2016 | English | 9780262533812 | 561 pages

Author(s): Christoph Czernohous (Author)
Springer | 2011 | German | 9783540209409 | 219 pages

Author(s): Jim Yuill (Author), Penn Linder (Author)
Packt | 2025 | English | 9781803237725 | 497 pages

Author(s): Vikrant Bhateja (Editor), Jaume Anguera (Editor), Anumoy Ghosh (Editor), P. Satish Rama Chowdary (Editor)
Springer | 2025 | English | 9789819672219 | 638 pages

Author(s): M. Teresa Higuera-Toledano (Editor), Uwe Brinkschulte (Editor), Achim Rettberg (Editor)
Springer | 2012 | English | 9781461419686 | 220 pages

Author(s): Klaus Pohl (Editor), Manfred Broy (Editor), Heinrich Daembkes (Editor), Harald Hönninger (Editor)
Springer | 2016 | English | 9783319480022 | 315 pages

Author(s): Md Rafiul Kabir (Author), Sandip Ray (Author)
Springer | 2026 | English | 9783032189370 | 174 pages