Your search for 39014 returns 5686 document(s) |
A proof environment for concurrent programs,(LNCS-Lecture Notes in Computer Science 670) Hal 196-215 |
Author: Naima BROWN; Dominique MERY; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Inviariants, frames and postconditions: a comparison of the VDM and B notations, (LNCS-Lecture Notes in Computer Science 670) Hal 162-182 |
Author: Juan Bicarregui; Brian Ritchie; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Algorithm refinement with read and write frames, (LNCS-Lecture Notes in Computer Science 670) Hal 148-161 |
Author: Juan Bicarregui; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Model checking in practice the T9000 virtual channel processor, (LNCS-Lecture Notes in Computer Science 670) Hal 129-147 |
Author: Geoff Barrett; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A metalanguage for the formal requirement specification of reactive systems, (LNCS-Lecture Notes in Computer Science 670) Hal 110-128 |
Author: Egidio Astesiano; Gainna Reggio; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Towards an implementation-oriented specification of TP protocol in LOTOS, (LNCS-Lecture Notes in Computer Science 670) Hal 93-109 |
Author: Ing Widya; Gert-Jan van der Heijden; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
An industrial experience on LOTOS-based prototyping for switching systems design, (LNCS-Lecture Notes in Computer Science 670) Hal 83-92 |
Author: Gonzalo Leon; Juan C. Yelmo; Carlos Sanchez; F. Javier Carrasco; Juan J. Gil; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The raise development method/The Raise method Group |
Call Number: 005.12 Rai | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Programming language landscape: syntax, semantics and implementations 2nd ed. |
Author: Ledgard, Henry F.; | Call Number: 005.13 Led p | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Denotational semantics: the scott-strachey approach to programming language theory/ Joseph E. Stoy |
Author: Stoy, Joseph E.; | Call Number: 005.13 Sto d | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|