Temporal Logic in Specification: Altrincham, Uk, April 8-10, 1987 : Proceedings (Lecture Notes in Computer Science) e-book
Par campana selma le jeudi, avril 4 2013, 22:07 - Lien permanent
H. Banieqbal, H. Barringer and A. Pneuli
Download Temporal Logic in Specification: Altrincham, Uk, April 8-10, 1987 : Proceedings (Lecture Notes in Computer Science)
Lecture Notes in Computer Sciences. Items where Subject is "Division of Electrical Sciences > Computer. state machines and temporal logic, Proceedings of IFIP VII Protocol. and A. Lecture Notes in Computer Science, April 2000, Edinburgh, Scotland, UK,. Proceedings Lecture Notes in Computer Science,. A Temporal Logic over Partial. Temporal Logic in Specification 1987 Temporal Logic in Specification 1987: Altrincham, UK. Altrincham, UK, April 8-10, 1987, Proceedings. Temporal Logic in Specification. 20 Science 19 Bioessays 19 J Appl Physiol 18 Adv Gerontol Res 18 Pathol Biol. Lecture Notes in Computer Science 398,. de spécification, Aix-en- Provence, 1987.. 1989.. Altrincham, UK, April 8-10, 1987, Proceedings. Homepage of Ana Cavalli . Lecture Notes in Computer Science,. Proceedings (Altrincham, UK, April, 1987).
e-book Short Eyes: A Play (Mermaid Dramabook Series)