Formal description of programming concepts--II proceedings of the IFIP Working Conference on Formal Description of Programming Concepts--II, Garmisch-Partenkirschen, FRG, 1-4 June 1982

Saved in:
Bibliographic Details
Corporate Authors: IFIP Working Conference on Formal Description of Programming Concepts (1982 : Garmisch-Partenkirschen, Germany), IFIP Technical Committee 2--Programming
Other Authors: Bjorner, D. (Dines), 1937-
Format: Book
Language:English
Published: Amsterdam North-Holland Pub. Co. 1983
Subjects:
Formal languages
Computer programming
Tags: Add Tag
No Tags, Be the first to tag this record!

MARC

LEADER 00000nam a2200000 a 4500
001 00462438
003 PWmBRO
005 20240602100223.0
008 841127s1983 ne a o1011 eng l
082 0 0 |a 001.64  |b 2 
090 0 0 |b 001.642/I23f/1982 
110 3 0 |a IFIP Working Conference on Formal Description of Programming Concepts (1982 : Garmisch-Partenkirschen, Germany) 
245 1 0 |a Formal description of programming concepts--II  |b proceedings of the IFIP Working Conference on Formal Description of Programming Concepts--II, Garmisch-Partenkirschen, FRG, 1-4 June 1982  |c edited by Dines Bjorner 
260 0 0 |a Amsterdam  |b North-Holland Pub. Co.  |c 1983 
300 0 0 |a xii, 455 p.  |c 23 cm. 
500 0 0 |a "Organized by IFIP Technical Committee 2, Programming, International Federation for Information Processing"--P. facing t.p 
595 0 0 |a 0444866191 
650 0 0 |a Formal languages 
650 0 0 |a Computer programming 
700 1 0 |a Bjorner, D.  |q (Dines),  |d 1937- 
710 2 0 |a IFIP Technical Committee 2--Programming. 
942 |2 ddc 
952 |0 0  |1 0  |4 0  |6 001_642000000000000_I23F_1982  |7 0  |8 MN  |9 30675  |a ML015  |b ML015  |c MN  |d 2024-06-02  |l 0  |o 001.642 I23f 1982  |p 030108  |r 2018-03-23 00:00:00  |w 2018-03-23  |y BK 
994 |a 001030108 85224 0001  
995 0 0 |a NUNE 
999 |c 21928  |d 21928 

Similar Items