FME '93. Industrial-strength formal methods : Proceedings, Odense, Denmark, April 19 - 23, 1993 /

Saved in:
Bibliographic Details
Main Author: Jones, C. B.
Corporate Author: Proceedings Denmark, Odense
Other Authors: Woodcock, J. C. P. (Editor), Larsen, P. G.
Format: Conference Proceeding Book
Language:English
Published: Berlin : Springer, 1993
Edition:[1st ed.]
Series:Lecture notes in computer science Vol. 670
Subjects:
objektovo orientovaná vývojová metóda > integrácia LOTOSu > modálna logika > špecifikácia systémov v reálnom čase > preverovanie symbolických modelov
zborníky
ISBN:3540566627
Online Access: Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Be the first to leave a comment!
You must be logged in first

Similar Items