Tools

LEADER 02168cam 2200469 a 4500

001 ssj0000392612;

003 WaSeSS;

005 20240712080447.0;

006 m d ;

007 cr n ;

008 931015s1993 nyua s 000 0 eng d;

010 a| 93041255;

020 a| 0387574999;

035 a| (WaSeSS)ssj0000392612;

040 a| DLCc| DLCd| DLCd| WaSeSS;

049 a| EREEa| NEHH;

050 00 a| QA76.76.D47b| F68 1993;

082 00 a| 005.12| 20;

245 00 a| Formal program developmenth| [electronic resource] :b| IFIP TC2/WG 2.1 state-of-the-art report /c| Bernhard Möller, Helmut Partsch, Steve Schuman, (eds.).;

260 a| Berlin ;a| New York :b| Springer-Verlag,;

300 a| 371 p. :b| ill. ;c| 24 cm.;

440 0 a| Lecture notes in computer science ;v| 755;

504 a| Includes bibliographical references.;

506 a| Available only to authorized users.;

538 a| Mode of access: World Wide Web;

650 0 a| Computer softwarex| Development.=| ^A210127;

650 0 a| Computer programming.=| ^A33242;

655 0 a| Electronic books.=| ^A491897;

700 10 a| Möller, Bernhard,d| 1953-=| ^A347898;

700 10 a| Partsch, Helmut A.,d| 1950-=| ^A347899;

700 10 a| Schuman, Steve,d| 1950-=| ^A347900;

710 20 a| IFIP TC 2/WG 2.1.=| ^A347901;

856 40 z| Full text available from Springer Booksu| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2F10.1007%2F3-540-57499-9;

856 40 z| Full text available from SpringerLINK Lecture Notes in Computer Scienceu| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2F10.1007%2F3-540-57499-9;

949 a| CLICK ON WEB ADDRESSw| ASISh| JOYNER188;

949 a| CLICK ON WEB ADDRESSw| ASISh| HSL77;

949 a| CLICK ON WEB ADDRESSw| ASISh| JMUSIC60;

596 a| 1 3 4;

998 a| 4085175;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4085175-1001l| JNETm| JOYNERr| Ys| Yt| JNESSBKu| 1/1/2016x| EBOOKz| JERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4085175-2001l| HSLELECm| HSLr| Ys| Yt| HEBKu| 1/1/2016x| EBOOKz| HERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4085175-3001l| MNETm| JMUSICr| Ys| Yt| MNESSBKu| 1/1/2016x| EBOOKz| JERESOURCE;

Formal program development IFIP TC2/WG 2.1 state-of-the-art report / Bernhard Möller, Helmut Partsch, Steve Schuman, (eds.).

Format	Electronic
Publication Info	Berlin ; New York : Springer-Verlag,
Description	371 p. : ill. ; 24 cm.
Supplemental Content	Full text available from Springer Books
Supplemental Content	Full text available from SpringerLINK Lecture Notes in Computer Science
Subjects	Computer software--Development. Computer programming.

Other author/creator	Möller, Bernhard, 1953-
Other author/creator	Partsch, Helmut A., 1950-
Other author/creator	Schuman, Steve, 1950-
Other author/creator	IFIP TC 2/WG 2.1.
Series	Lecture notes in computer science ; 755
Bibliography note	Includes bibliographical references.
Access restriction	Available only to authorized users.
Technical details	Mode of access: World Wide Web
Genre/form	Electronic books.
LCCN	93041255
ISBN	0387574999

Availability

Library	Location	Call Number	Status	Item Actions
	Electronic Resources	Online Content Full text available from Springer Books Full text available from Springer Books	✔ Available

Formal program development IFIP TC2/WG 2.1 state-of-the-art report / Bernhard Möller, Helmut Partsch, Steve Schuman, (eds.).

Click here for more information about this title

Availability