Temporal logic of programs
by
 
Kröger, Fred, 1945-

Title
: 
Temporal logic of programs

Author
: 
Kröger, Fred, 1945-

ISBN
: 
35401708

Publication Information
: 
Berlin : Springer, 1987.

Physical Description
: 
148 s.

Series
: 
EATCS monographs on Theoretical Computer Science ; no : 8

Series Title
: 
EATCS monographs on Theoretical Computer Science ; no : 8

Subject Term
: 
ELEKTRONİK SAYISAL BİLGİSAYARLAR -- PROGRAMLAMA.
 
MANTIK, SEMBOLİK VE MATEMATİKİ.


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Beytepe LibraryBook7.2/12/574771QA 76.6 K753 1987Beytepe Genel Koleksiyon