Vi bøger
Levering: 1 - 2 hverdage

Bøger af Stephan Merz

Filter
Filter
Sorter efterSorter Populære
  • af Manfred Broy, Stephan Merz & Katharina Spies
    608,95 kr.

  • af Fred Kröger & Stefan Merz
    903,95 - 943,95 kr.

    Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic;

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.