Software engineering analysis and verification

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Lewis, T. G. (Theodore Gyle), 1941-
Format: Buch
Sprache:Englisch
Veröffentlicht: Reston, Va Reston Pub. Co. c1982
Schlagworte:
Computer programs > Verification
Computer programming
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

MARC

LEADER 00000nam a2200000 a 4500
001 00396672
003 PWmBRO
005 20240602095832.0
008 831121s1982 vaua a o0011 eng l
082 0 0 |a 001.64  |b 2 
090 0 0 |b 001.642/L676s 
100 1 0 |a Lewis, T. G.  |q (Theodore Gyle),  |d 1941- 
245 1 0 |a Software engineering  |b analysis and verification  |c T.G. Lewis 
260 0 0 |a Reston, Va  |b Reston Pub. Co.  |c c1982 
300 0 0 |a x, 470 p.  |b ill.  |c 25 cm. 
595 0 0 |a 083597023X 
650 0 0 |a Computer programs  |x Verification 
650 0 0 |a Computer programming 
942 |2 ddc 
952 |0 0  |1 0  |4 0  |6 001_642000000000000_L676S  |7 0  |8 MN  |9 21712  |a ML015  |b ML015  |c MN  |d 2024-06-02  |l 0  |o 001.642 L676s  |p 020141  |r 2018-03-23 00:00:00  |w 2018-03-23  |y BK 
994 |a 001020141 84150 0001  
995 0 0 |a NUNE 
999 |c 15460  |d 15460 

Ähnliche Einträge