Foundations of Algebraic Specification and Formal Software Development
by
 
Sannella, Donald. author.

Title
: 
Foundations of Algebraic Specification and Formal Software Development

Author
: 
Sannella, Donald. author.

ISBN
: 
9783642173363

Physical Description
: 
XVI, 581p. online resource.

Series
: 
Monographs in Theoretical Computer Science. An EATCS Series,

Series Title
: 
Monographs in Theoretical Computer Science. An EATCS Series, 1431-2654

Subject Term
: 
Computer science.
 
Software engineering.
 
Logic design.
 
Algebra.
 
Logic, Symbolic and mathematical.

Added Author
: 
Tarlecki, Andrzej.

Added Corporate Author
: 
SpringerLink (Online service)

Electronic Access
: 
http://dx.doi.org/10.1007/978-3-642-17336-3


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book193572-2001ONLINEElektronik Kütüphane