An edition of Temporal logic in specification (1989)
Temporal logic in specification
Altrincham, UK, April 8-10, 1987 : proceedings
By Howard Barringer
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
1989
Publisher
Springer-Verlag,Springer
Language
eng
Pages
448
Description:
subjects: Symbolic and mathematical Logic, System design, Softwarespezifikation, Logique symbolique et mathématique, Théorie automate, Système concurrent, Temporale Logik, Congrès, Vérification, Spécification, Logique temporelle, Systèmes, Conception de, Démonstration théorème, Logique, Nebenläufigkeit, Congresses