Katalog der Deutschen Nationalbibliothek

Go to:

Media

Available in Frankfurt
Available in Frankfurt
Available in Leipzig
Available in Leipzig
Source
buchhandel.de

Fred Kröger

Termporal logic of programs

Berlin, Heidelberg, New York, London, Paris, Tokyo: Springer, 1987

Title

Termporal logic of programs / Fred Kröger

Involved 

Fred Kröger (Verfasser)

Published

Berlin, Heidelberg, New York, London, Paris, Tokyo: Springer
1987

Extent

VIII, 148 S.

ISBN

978-3-540-17030-3
978-0-387-17030-5

Topic

Informatik

Subject

Programm, Temporale Logik

Series

EATCS monographs on theoretical computer sciences ; Vol. 8

Further information

Literaturverz. S. 143 - 146

Record ID

870094742
Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

DNB portal