| Your search for 38974 returns 4358 document(s) |
| An EVES data abstraction example, (LNCS-Lecture Notes in Computer Science 670) Hal 578-596 |
|
Author: Mark Saaltink; Sentot Kromodimoeljo; Bill Pase; Dan Craigen; Irwin Meisels; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Maintaining consistency under changes to formal specifications, (LNCS-Lecture Notes in Computer Science 670) Hal 558-577 |
|
Author: Kelvin J. Ross; Peter A. Lindsay; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The SAZ Project: Integrating SSADM and Z, (LNCS-Lecture Notes in Computer Science 670) Hal 541-557 |
|
Author: Fiona Polack; Mark Whiston; Keith Mander; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Process instances in LOTOS simulation, (LNCS-Lecture Notes in Computer Science 670) Hal 521-540 |
|
Author: Simon Pickin; Yan Yang; Wiet Bouma; Sylvie Simon; Tanja de Groot; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Conformity clause for VDM-SL, (LNCS-Lecture Notes in Computer Science 670) Hal 501-520 |
|
Author: Graeme I. Parkin; Brian Wichmann; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal verification for fault-tolerant architectures: some lessons learned, (LNCS-Lecture Notes in Computer Science 670) Hal 482-500 |
|
Author: Sam Owre; John Rushby; Natarajan Shankar; Friedrich von Henke; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Verification tools in the development of provably correct compilers, (LNCS-Lecture Notes in Computer Science 670) Hal 442-461 |
|
Author: M. R. K. Krishna Rao; P. K. Pandya; R. K. Shyamasundar; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A concurrency case study using RAISE, (LNCS-Lecture Notes in Computer Science 670) Hal 367-387 |
|
Author: Anne Haxthausen; Chris George; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On the derivation of executable database programs from formal specifications, (LNCS-Lecture Notes in Computer Science 670) Hal 351-366 |
|
Author: Thomas Gunther; Klaus-Dieter Schewe; Ingrid Wetzel; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Different FDT's confronted with different ODP-viewpoints of the trader, (LNCS-Lecture Notes in Computer Science 670) Hal 332-350 |
|
Author: Joachim Fischer; Andreas Prinz; Andreas Vogel; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result