Search Result Save to File Save as CSV
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