| Your search for 37399 returns 2989 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
|
| 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
|
| Data Abstraction and problem solving with C++: Walls and Mirrors/Frank M. Carrano |
|
Author: Carrano, Frank M.; | Call Number: 005.73 Car d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Prolog programming: applications for database systems, expert systems, and natural language systems/Claudia Marcus |
|
Author: Marcus, Claudia; | Call Number: 005.133 Mar p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The economics of software quality |
|
Author: Jones, Capers; | Call Number: 005.14 Jon e | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Perl database programming |
|
Author: Michalski, Brent; | Call Number: 005.133 Mic p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| PL/1 programming problems & applications |
|
Author: Barnard, David T; | Call Number: 005.133 Bar p | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Forth an applications approach |
|
Author: Toppen, David L.; | Call Number: 005.133 Top f | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Forth tools and applications |
|
Author: Feierbach, Gary; | Call Number: 005.133 Fei t | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Feature Grouping using the Abstract Behavioral Specification Language. Hal 483-489 |
|
Author: Reza Mauliadi, Ade Azurat, Radu Muschevici, Maya R.A Setyautami; | Call Number: SEM-372 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result