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