MPG.eBooks - Description: Temporal Logic in Specification

Read Now

Bibliographic Details
Other Authors:	Banieqbal, Behnam (Editor), Barringer, Howard (Editor), Pnueli, Amir (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg Springer Berlin Heidelberg 1989, 1989
Edition:	1st ed. 1989
Series:	Lecture Notes in Computer Science
Subjects:	Compilers (computer Programs) Computer Science Logic And Foundations Of Programming Compilers And Interpreters Software Engineering Computer Science Algorithms Formal Languages And Automata Theory Machine Theory
Online Access:	https://doi.org/10.1007/3-540-51803-7?nosfx=y
Collection:	Springer Book Archives -2004 - Collection details see MPG.ReNa

Description
Physical Description:	VIII, 452 p online resource
ISBN:	9783540468110