Formal program development : IFIP TC2/WG 2.1 state-of-the-art report /

Bibliographic Details
Corporate Authors:	SpringerLink (Online service), IFIP TC 2/WG 2.1
Other Authors:	Möller, Bernhard, 1953-, Partsch, Helmut A., 1950-, Schuman, Steve, 1950-
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, ©1993.
Series:	Lecture notes in computer science ; 755.
Subjects:	Computer software > Development. Computer programming. Computer software. Electronic digital computers. Programmatuurtechniek. Electronic books. Congressen (vorm)
Online Access:	Connect to the full text of this electronic book

Description
Item Description:	Electronic resource.
Physical Description:	1 online resource (371 pages) : illustrations
Bibliography:	Includes bibliographical references.
ISBN:	9783540481973 3540481974
ISSN:	0302-9743 ;