Donald Sannella

Foundations of Algebraic Specification and Formal Software Development

We couldn't estimate the reading time for this book.

Author

Donald Sannella

Contributions

Tarlecki, Andrzej - Contributor
SpringerLink (Online service) - Contributor

Publication

2012 - Springer Berlin Heidelberg, Berlin, Heidelberg, Germany

Language

English

Word Count

0 words, Guess

Page Count

0 pages

Physical Format

Electronic resource

Identifiers

Internet Archivefoundationsalgeb00sann
Internet Archivefoundationsalgeb00sann_199
Internet Archivefoundationsalgeb00sann_390
ISBN-139783642173363
ISBN-103642173365

and 2 more

Better World Books9783642173363
Open LibraryOL27039603M

Classifications

LCCQA75.5-76.95

Subjects

Topics

Algebra Logic design Computer science Software engineering Computer software, development Logics and Meanings of Programs Symbolic and mathematical Logic

Series Statement

Monographs in Theoretical Computer Science. An EATCS Series

Other Editions

Foundations of Algebraic Specification and Formal Software DevelopmentElectronic resourceSpringer Berlin Heidelberg2012-01-01

Similar Books

Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

edited by Sergei Artemov, Anil Nerode

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!