A PROGAMMING APPROACH TO FORMAL METHODS

13339 373 20 A PROGAMMING APPROACH TO FORMAL METHODS CASEY,CHRIS Primary Author mixed material THE CONSTRUCTION OF FORMAL SPECIFICATIONS AN INTRODUCTION TO THE MODEL-BASED AND ALGEBRAIC A TURNER,J.G Primary Author mixed material REAL TIME SYSTEM DESIGN LEVI,SHEM-TOV Primary Author mixed material MAPLE AN INTRODUCTION AND REFERENCE KOFLER,MICHAEL Primary Author mixed material THE DESIGN AND ANALYSIS OF COMPUTER ALGORITHMS AHO,ALFRED V Primary Author mixed material DATABASE SYSTEMS A PRACTICAL APPOACH TO DESIGN,IMPLEMENTATION,AND M CONNOLLY,THOMAS M Primary Author mixed material CLASSICAL AND OBJECT-ORIENTED SOFTWARE ENGINEERING Schach,Stephen.R Primary Author mixed material APPLIED OPERATING SYSTEM CONCEPTS SILBERSCHTZ,AVI Primary Author mixed material CHLORELLA GANGGANG OBAT ALAMI STEENBLOCK,DAVID DR Primary Author mixed material INTISARI ELEKTRONIKA PENJELASAN ALFABETIK DARI A SAMPAI Z Loveday,George Primary Author mixed material ML FOR THE WORKING PROGRAMMER PAULSON,LAWRENCE C Primary Author mixed material PROGRAMMING IN THE 1990 AN INTRODUCTION TO THE CALCULATION OF PROGRAMS COHEN,EDWARD Primary Author mixed material BUKU WISUDA IX STMIK STIKUBANK Primary Author mixed material TEKNOLOGI INFORMASI SEBAGAI SALAH SATU SUMBER DAYA ORGA Nugroho,Hieronimus E Primary Author mixed material DASAR-DASAR MATEMATIKA DISKRET Liu.C.L Primary Author mixed material INSTRUMENTASI ELEKTRONIK DAN TEKNIK PENGUKURAN Cooper,David William Primary Author mixed material REAL-TIME SYSTEMS KRISHNA Primary Author mixed material DATAWAREHOUSING ARCHITECTURE AND IMPLEMENTATION HUMPHRIES,MARK Primary Author mixed material DESIGN PATTERNS ELEMENTS OF REUSABLE OBJECT-ORIENTED SOFTWARE GAMMA,ERICH Primary Author mixed material IMPROVING DATA WAREHOUSE AND BUSINESS INFORMATION QUALI METHODS FOR REDUCING COSTS AND INCREASING PR ENGLISH,LARRY P Primary Author mixed material