Formal models in programming : Proceedings of the IFIP TC2 working conf. on the role of abstracts models in information pocessing, Vienna, Austria, 30 Jan. - 1 Febr., 1985 /

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Neuhold, Erich J.
Körperschaft: Proceedings of the IFIP TC2 working conf. on the role of abstracts models in information pocessing Austria, Vienna
Weitere Verfasser: Chroust, Gerhard
Format: Tagungsbericht Buch
Sprache:Englisch
Veröffentlicht: Amsterdam : North-Holland Publishing, 1985
Ausgabe:[1st ed.]
Schlagworte:
ISBN:0444878882
Online-Zugang: Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

MARC

LEADER 00000nam a2200000 4500
003 SK-BrCVT
005 20220617193253.0
008 951002s1985 ne e ||||||eng d
020 |a 0444878882 
035 |a CVTIDW0934192 
040 |b slo  |a CVTI SR 
041 0 |a eng 
044 |a ne 
080 |a 519.8  |2 UDC-MRF 
080 |a 007  |2 UDC-MRF 
080 |a 681.3  |2 UDC-MRF 
100 1 |a Neuhold, Erich J. 
111 0 |a Proceedings of the IFIP TC2 working conf. on the role of abstracts models in information pocessing  |d (30 Jan. - 1 Febr., 1985 :  |c Austria, Vienna) 
242 1 0 |a Formálne modely v programovaní 
245 1 0 |a Formal models in programming :  |b Proceedings of the IFIP TC2 working conf. on the role of abstracts models in information pocessing, Vienna, Austria, 30 Jan. - 1 Febr., 1985 /  |c Authors: Erich J. Neuhold, Gerhard Chroust and Co. 
250 |a [1st ed.] 
260 |a Amsterdam :  |b North-Holland Publishing,  |c 1985 
300 |a XIX, 425 s. :  |b fotogr., grafy, lit., tab. ; 
653 1 |a elektronický digitálny počítač  |a IFIP  |a kybernetika  |a umelá inteligencia  |a programovací jazyk  |a Petriho sieť 
692 |a GM VD PR JM MM 
700 1 |a Chroust, Gerhard 
910 |b A548943 
919 |a 0-444-87888-2 
974 |f Knihy 
992 |a AZN 
999 |c 97238  |d 97238