Program construction and verification /

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Backhouse, Roland C., 1948-
Format: Buch
Sprache:Englisch
Veröffentlicht: Englewood Cliffs, N.J. : Prentice-Hall International, c1986.
Schlagworte:
Computer programming
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

MARC

LEADER 00000nam a2200000u 4500
001 00663239
003 PWmBRO
005 20240602101155.0
008 850709s1986 njua b 00110 eng
020 |a 0137291531 :  |c $34.95 
020 |a 0137291469 (pbk.) 
050 0 |a QA76.7  |b .B28 1986 
082 0 |a 005�19 
090 0 |b 005.1/B126p 
100 1 0 |a Backhouse, Roland C.,  |d 1948- 
245 1 0 |a Program construction and verification /  |c Roland C. Backhouse. 
260 0 |a Englewood Cliffs, N.J. :  |b Prentice-Hall International,  |c c1986. 
300 |a xi, 281 p. :  |b ill. 
650 0 |a Computer programming 
942 |2 ddc 
952 |0 0  |1 0  |4 0  |6 005_100000000000000_B126P  |7 0  |8 MN  |9 52564  |a ML015  |b ML015  |c MN  |d 2024-06-02  |l 0  |o 005.1 B126p  |p 054382  |r 2018-03-24 00:00:00  |w 2018-03-24  |y BK 
994 0 1 |a T1001 054 382 
999 |c 37954  |d 37954 

Ähnliche Einträge