Search Result Save to File Save as CSV
Your search for 26226 returns 305 document(s)
The B-book: Assigning programs to meanings
Author: Abrial, J.R.; | Call Number: 005.1 Abr b | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
The B-method: An introduction
Author: Schneider Steve; | Call Number: 005.1 Sch b | 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 
Software engineering concepts/ Richard E. Fairley
Author: Fairley, Richard E.; | Call Number: 005.1 Fai s | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
The art of software testing
Author: Myers, Glenford S.; | Call Number: 005.1 Mye e | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Threaded interpretive languages: their design and implementation/ R.G. Loeliger
Author: Loeliger, R.G.; | Call Number: 005.13 Loe t | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
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 
Mathematical theory of program correctness/ Jaco de Bakker
Author: Baker, Jaco de; | Call Number: 005.3 Bak m | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
An introduction to software physics/ Kenneth Kolence
Author: Kolence, Kenneth; | Call Number: 005.3 Kol i | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
The book of apple computer software 1982/ editors Jeffrey Staton
Call Number: 005.3 Sta b | Edition: Fifth edition [5th ed.] | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   17 18 19 20 21 22 23 24 25 26  Next