Home Advanced Search

Advanced Search - Page 1

Modeling and Verification of Real-time Systems
  • PDF
  • English
  • Year: 2008
  • Author: Nicolas Navet, Stephan Merz
Automotive Embedded Systems Handbook
  • PDF
  • English
  • Year: 2008
  • Author: Nicolas Navet, Francoise Simonot-Lion
Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
  • PDF
  • English
  • Year: 2016
  • Author: Jasmin Christian Blanchette, Stephan Merz (eds.)
Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Christel Baier (auth.), Dominique Méry, Stephan Merz (eds.)
Formal Systems Specification: The RPC-Memory Specification Case Study
  • DJVU
  • English
  • Year: 1996
  • Author: Manfred Broy, Leslie Lamport (auth.), Manfred Broy, Stephan Merz, Katharina Spies (eds.)
Formal Systems Specification: The RPC-Memory Specification Case Study
  • PDF
  • English
  • Year: 1996
  • Author: Manfred Broy, Leslie Lamport (auth.), Manfred Broy, Stephan Merz, Katharina Spies (eds.)
Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000 Nantes, France, June 19–23, 2000 Revised Tutorial Lectures
  • PDF
  • English
  • Year: 2001
  • Author: Stephan Merz (auth.), Franck Cassez, Claude Jard, Brigitte Rozoy, Mark Dermot Ryan (eds.)
Das Europa der Europäer: Über die Wahrnehmungen eines politischen Raums
  • PDF
  • German
  • Year: 2014
  • Author: Daniel Gaxie (editor); Nicolas Hubé (editor); Marine de Lassalle (editor); Jay Rowell (editor); Frank Weigand (editor); Markus Merz (editor)
Piano method
  • PDF
  • English
  • Author: Merz Karl.
Adams Kostüm Drei Erzählungen
  • EPUB
  • German
  • Year: 2015;2012
  • Author: Merz, Klaus
search