Tools

LEADER 02882cam a22005417a 4500

001 ssj0000595699;

003 WaSeSS;

005 20240412080346.0;

006 m d ;

007 cr n ;

008 111019s2012 gw sb 001 0 eng d;

010 a| 2011941495;

016 7 a| 0156915562| Uk;

020 a| 9783642173356 (alk. paper);

020 a| 3642173357 (alk. paper);

020 a| 9783642173363 (e-ISBN);

035 a| (WaSeSS)ssj0000595699;

042 a| lccopycat;

049 a| EREEa| NEHH;

050 00 a| QA76.9.M35b| S26 2012;

100 1 a| Sannella, D.q| (Donald),d| 1956-=| ^A241196;

245 10 a| Foundations of algebraic specification and formal software developmenth| [electronic resource] /c| Donald Sannella, Andrzej Tarlecki.;

260 a| Heidelberg ;a| New York :b| Springer,;

300 a| xvi, 581 p. :b| ill. ;c| 24 cm.;

490 1 a| Monographs in theoretical computer science,x| 1431-2654;

504 a| Includes bibliographical references (p. 533-552) and index.;

505 0 a| Introduction -- 1. Universal algebra -- 2. Simple equational specifications -- 3. Category theory -- 4. Working within an arbitrary logical system -- 5. Structured specifications -- 6. Parameterisation -- 7. Formal program development -- 8. Behavioral specifications -- 9. Proofs for specifications -- 10. Working with multiple logical systems.;

506 a| Available only to authorized users.;

538 a| Mode of access: World Wide Web;

650 0 a| Computer sciencex| Mathematics.=| ^A236643;

650 0 a| Software engineering.=| ^A229299;

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

650 0 a| Formal methods (Computer science)=| ^A446919;

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

700 1 a| Tarlecki, Andrzej.=| ^A241197;

830 0 a| Monographs in theoretical computer science.=| ^A414682;

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%2F978-3-642-17336-3;

856 40 z| Full text available from Springer Nature - Springer Computer Science eBooks 2012 English Internationalu| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2F10.1007%2F978-3-642-17336-3;

947 a| (OCoLC)ocn690089033;

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| 4085767;

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

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

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

Foundations of algebraic specification and formal software development / Donald Sannella, Andrzej Tarlecki.

Author/creator	Sannella, D., 1956-
Other author	Tarlecki, Andrzej.
Format	Electronic
Publication Info	Heidelberg ; New York : Springer,
Description	xvi, 581 p. : ill. ; 24 cm.
Supplemental Content	Full text available from Springer Books
Supplemental Content	Full text available from Springer Nature - Springer Computer Science eBooks 2012 English International
Subjects	Computer science--Mathematics. Software engineering. Computer software--Development. Formal methods (Computer science)

Series	Monographs in theoretical computer science, 1431-2654 Monographs in theoretical computer science. ^A414682
Contents	Introduction -- 1. Universal algebra -- 2. Simple equational specifications -- 3. Category theory -- 4. Working within an arbitrary logical system -- 5. Structured specifications -- 6. Parameterisation -- 7. Formal program development -- 8. Behavioral specifications -- 9. Proofs for specifications -- 10. Working with multiple logical systems.
Bibliography note	Includes bibliographical references (p. 533-552) and index.
Access restriction	Available only to authorized users.
Technical details	Mode of access: World Wide Web
Genre/form	Electronic books.
LCCN	2011941495
ISBN	9783642173356 (alk. paper)
ISBN	3642173357 (alk. paper)
ISBN	9783642173363 (e-ISBN)

Availability

Library	Location	Call Number	Status	Item Actions
	Electronic Resources	Access Content Online	✔ Available

Foundations of algebraic specification and formal software development / Donald Sannella, Andrzej Tarlecki.

Click here for more information about this title

Availability