Program derivation. The development of programs from specifications /

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Dromey, Geoff (Verfasst von)
Format: Buch
Sprache:Englisch
Veröffentlicht: Sydney : Addison-Wesley, 1989
Tags: Tag hinzufügen
Keine Tags, Fügen Sie das erste Tag hinzu!

MARC

LEADER 00000nam a22000003a 4500
001 stu1580
005 20201005125359.9
008 920513s1989----at------------------eng-d
040 |a STU  |b slo 
041 0 |a eng 
044 |a at 
080 |a 681.32.06 
080 |a 19.683 
100 1 |a Dromey, Geoff  |4 aut 
245 1 |a Program derivation. The development of programs from specifications /  |c [aut.] Dromey,Geoff 
260 |a Sydney :  |b Addison-Wesley,  |c 1989 
300 |a 630 s 
996 |c I*16TJ4130  |l II680  |s A  |a 24  |w stu1580_0001