| Document Number: 1 |
Full Record |
| Main Title |
High-level languages and their compilers |
| Author |
Watson, Des.
|
| Publisher |
Addison-Wesley, |
| Year Published |
1989 |
| OCLC Number |
18014924 |
| ISBN |
0201184893 |
| Subjects |
Programming languages (Electronic computers) ;
Compilers (Computer programs)
|
| Holdings |
| Library |
Call Number |
Additional Info |
Location |
Last
Modified |
Checkout
Status |
| EJBM |
QA76.7.W38 1989 |
c.1 |
Headquarters Library/Washington,DC |
06/15/1990 |
|
| Collation |
xii, 337 p. : ill. ; 24 cm. |
|
| Document Number: 2 |
Full Record |
| Main Title |
Microsoft FORTRAN powerStation |
| Publisher |
Microsoft, |
| Year Published |
1993 |
| OCLC Number |
31296015 |
| Subjects |
Compilers (Computer programs)--Software
|
| Holdings |
| Library |
Call Number |
Additional Info |
Location |
Last
Modified |
Checkout
Status |
| EMBM |
QA76.76.C65M52qr 1993 |
|
NRMRL/GWERD Library/Ada,OK |
02/28/1997 |
|
| Edition |
Version 1.0. |
| Collation |
5 computer disks ; 3 1/2 in. + 1 user's guide (xxv, 375 p. : ill. ; 23 cm.) + 1 language guide (xiv, 557 p. : ill. ; 23 cm.) + 1 getting started guide (iv, 37 p. : ill. ; 23 cm.) + 1 error messages gu |
|
| Document Number: 3 |
Full Record |
| Main Title |
Structured system programming / |
| Author |
Welsh, Jim,
|
| Other Authors |
|
| Publisher |
Prentice/Hall International, |
| Year Published |
1980 |
| OCLC Number |
05007340 |
| ISBN |
0138545626; 9780138545628 |
| Subjects |
Structured programming ;
Compilers (Computer programs) ;
Operating systems (Computers) ;
Programmation informatique ;
Strukturierte Programmierung ;
Systemprogrammierung ;
Programmation structure ;
Programmation structuree
|
| Holdings |
| Library |
Call Number |
Additional Info |
Location |
Last
Modified |
Checkout
Status |
| EJBM |
QA76.6.W464 |
|
Headquarters Library/Washington,DC |
10/07/2005 |
|
| Collation |
xii, 324 pages ; 24 cm. |
|
| Document Number: 4 |
Full Record |
| Main Title |
Verified software : theories, tools, experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013 : revised selected papers / |
| Other Authors |
|
| Publisher |
Springer, |
| Year Published |
2014 |
| OCLC Number |
877906363 |
| ISBN |
9783642541070; 3642541070 |
| Subjects |
Computer software--Verification--Congresses ;
Computer software--Quality control--Congresses ;
Compilers (Computer programs)--Congresses
|
| Holdings |
| Library |
Call Number |
Additional Info |
Location |
Last
Modified |
Checkout
Status |
| ELBM |
QA76.76.V47V47 2014 |
|
AWBERC Library/Cincinnati,OH |
10/13/2015 |
|
| Collation |
xvi, 345 pages : illustrations ; 24 cm. |
|
