SSPTV - a software system for programs testing and verification /

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Bologna, S. (VerfasserIn), Taylor, J. R. (Consultant) (VerfasserIn)
Format: Buch
Sprache:Englisch
Veröffentlicht: Roskilde : Risø Library, Risø National Laboratory, 1978
Schlagworte:
softvér
programové vybavenie
ISBN:8755005187
ISSN:0418-6435
Online-Zugang: Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

MARC

LEADER 00000nam a22000007a 4500
005 20250722084818.0
008 250718s1978 dána|||f |||| 00| 0 eng d
020 |a 8755005187  |q (brož.) 
022 |a 0418-6435 
040 |a CVT  |b slo  |c CVT  |d CVT  |e AACR2 
041 0 |a eng 
044 |a dk  |c DK 
072 7 |2 CVT  |a 004.4/.6 
080 1 |a 004.4  |2 2011 
080 1 |a 681.51  |2 2011 
100 |a Bologna, S.  |4 aut 
245 1 0 |a SSPTV - a software system for programs testing and verification /  |c S. Bologna, J. R. Taylor 
260 |a Roskilde :  |b Risø Library, Risø National Laboratory,  |c 1978 
300 |a 29 s. :  |b lit., tab. ;  |c 30 cm 
500 |a Electronics Department. Riso-M-1992 
504 |a Literatúra na s. 29 
653 |a softvér 
653 |a programové vybavenie 
700 1 T |a Taylor, J. R.  |c (Consultant)  |4 aut 
910 |b A360225 
919 |a 87-550-0518-7 
959 |a 01 
974 |a Katarína Repatá  |b Rita Zubonyaiová 
992 |a AMG  |a AVS 
999 |c 303664  |d 303664 

Ähnliche Einträge