Details

ISBN/EAN: 978-3-540-58976-1
Einband: kartoniertes Buch
Weitere Details
Herausgeber:
Michael Fisher , Richard Owens
Erschienen am:
Sprache:
English
Umfang:
viii, 188 S.

Hersteller:
Springer Verlag GmbH
juergen.hartmann@springer.com
Tiergartenstr. 17
DE 69121 Heidelberg


Weitere Details arrow_forward_ios

Executable Modal and Temporal Logics

IJCAI '93 Workshop, Chambery, France, August 28,1993.Proceedings, Lecture Notes in Computer Science 897 - Lecture Notes in Artificial Intelligence

53,49 €

Lieferbar innerhalb 1 - 2 Wochen