| Your search for 13650 returns 4318 document(s) |
| Formal methods of program verification and specification |
|
Author: Berg, Helmut K.; | Call Number: 005.3 Ber f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Software engineering: analysis and verification |
|
Author: Lewis, T.G.; | Call Number: 004 Lew s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Protocol specification, testing, and verification VI |
|
Call Number: 004.62 Pro | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Understanding formal methods |
|
Author: Monin, Jean-Francois; | Call Number: 005.131 Mon u | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Communication protocol specification and verification/Richard Lai |
|
Author: Lai, Richard; | Call Number: 004.36 Lai c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An introduction to formal program verification |
|
Author: Mili, Ali; | Call Number: 005.3 Mil i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal methods: state of the art and new directions |
|
Author: Boca, Paul P; | Call Number: 005.131 Boc f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Real-time systems: formal specification and automatic verification |
|
Author: Olderog, E.R; | Call Number: 004.33 Old r | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The foundations of program verification 2nd ed/ Jacques Loeckx and Kurt Sieber |
|
Author: Loeckx, Jacques; | Call Number: 005.14 Loe f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| ZUM'95: the Z formal specification motion: 9th Int. conf. of z user's limerick, Freland, September 7-9, 1995/Jonathan Bowen |
|
Author: Bowen, Jonathan P.; | Call Number: 005.133 Bow z | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result