Library Picture

RECORD DETAIL
Back To Previous  

Title IFIP Working conference on Formal description of programming concepts-IIIFIP working conference.
Edition
Account No 4144
Call Number 001.64206 BJO
ISBN/ISSN 0-444-86619-1.
Author(s) Bjorner, Dines. Ed
Subject(s) Programming (Electronic Computers)
Classification
Series Title IFIP Working Conference on Formal Description of Programming Concepts-II (1982, Gramisch-Partenkirchen, FRG).
Pages 455p.
GMD Text
Language English
Publisher North Holland Publishing Company,
Publishing Year 1983
Publishing Place Amsterdam
Collation
Abstract/Notes
Specific Detail Info
Image
File Attachment
LOADING LIST...
Availability
LOADING LIST...
  Back To Previous