Search Result
Save to File
Your search for
13650
returns
4291
document(s)
Applications of formal methods/edited by Michael G. Hinchey and Jonathan Bowen
Call Number: 620.004 2 App | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
ZUM'97 the z formal specification nation: 10th Int. conference of z users reading, UK, April 3-4, 1997 proceedings/Jonathan P. Bowen
Author: Bowen, Jonathan P.; | Call Number: 005.131 Bow z | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Modeling and Verification of Web Applications uisng Formal Techniques Methods (220-229)
Author: Atsushi Togashi Yuh Kitano Satoru Izumi Kaoru Takahashic kei Homma; | Call Number: SEM-314 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Software verification and validation
Author: Deutsch, Michael S.; | Call Number: 005.3 Deu s | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
HP networking communications specification guide/Hewlett Packard
Call Number: R.004.6 02 HP | Type: Buku Referensi
Find Similar
|
Add To Favorites
|
Detail in New Window
The java virtual machine specification
Author: Lindohlm, Tim; | Call Number: 005.133 Lin j | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
The java language specification
Author: Gosling, James; | Call Number: 005.133 Gos j | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
The java 3D API specification
Author: Showizral, Herry A.; | Call Number: 006.693 Sow j | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Software engineering : analysis and verification
Author: Lewis, T.G.; | Call Number: 005.1 Lew s | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Handbook of theoritical computer science: vol. B. formal models and semantics/J.Van Leeuwen
Call Number: R. 004.02 Han | Type: Buku Referensi
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
1
2
3
4
5
6
7
8
9
10
Next