Media type: Book Title: Temporal logic and state systems Contributor: Kröger, Fred [Author]; Merz, Stephan [Author] imprint: Berlin; Heidelberg: Springer, 2008 Published in: Texts in theoretical computer science Extent: XI, 433 S.; graph. Darst; 235 mm x 155 mm Language: English ISBN: 3540674012; 9783540674016 RVK notation: SK 130 : Logik und Grundlagen, Metamathematik, Keywords: Temporale Logik > Zustandsraum Transitionssystem > Verifikation Reaktives System > Model Checking > Abstrakte Zustandsmaschine > Algorithmische Programmiersprache Origination: Footnote: Literaturverz. S. [421] - 428
Departmental Library DrePunct – stack Shelf-mark: R2017 8 6370 Item ID: 32896589 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order