Larch languages and tools for formal specification

Saved in:
Bibliographic Details
Main Author: Guttag, John
Other Authors: Horning, James
Format: Book
Published: New York Springer-Verlag 1993
Series:Texts and monographs in computer science
Subjects:
Online Access:Click Here to View Status and Holdings.
Tags: Add Tag
No Tags, Be the first to tag this record!

MARC

LEADER 00000n a2200000 a 4501
001 wils-203004
020 # # |a 0387940065 
090 0 0 |a QA76.6  |b .H66 1993 
100 1 # |a Guttag, John 
245 1 1 |a Larch  |b languages and tools for formal specification  |c John V. Guttag, James J. Horning 
260 # # |a New York  |b Springer-Verlag  |c 1993 
300 # # |a xiii, 250 p.  |c 25 cm. 
490 1 # |a Texts and monographs in computer science 
504 # # |a Includes bibliographical references 
650 # 0 |a Larch (Computer program language) 
650 # 0 |a Electronic digital computers  |x Programming 
650 # 0 |a Computer software  |x Development 
700 1 # |a Horning, James 
856 4 0 |z Click Here to View Status and Holdings.  |u https://opac.uitm.edu.my/opac/detailsPage/detailsHome.jsp?tid=203004 
964 # # |c BOK  |d 01 
040 # # |a Shah Alam 
998 # # |a 00260##a002.8.2||00260##b002.8.4||00260##c002.7.6||00300##a003.4.1||00300##c003.5.1||