Matches in Library of Congress for { <http://lccn.loc.gov/2011941495> ?p ?o. }
Showing items 1 to 26 of
26
with 100 items per page.
- 2011941495 contributor B12424141.
- 2011941495 contributor B12424142.
- 2011941495 created "c2012.".
- 2011941495 date "2012".
- 2011941495 date "c2012.".
- 2011941495 dateCopyrighted "c2012.".
- 2011941495 description "Includes bibliographical references (p. 533-552) and index.".
- 2011941495 description "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.".
- 2011941495 extent "xvi, 581 p. :".
- 2011941495 identifier "3642173357 (alk. paper)".
- 2011941495 identifier "9783642173356 (alk. paper)".
- 2011941495 identifier "9783642173363 (e-ISBN)".
- 2011941495 isPartOf "Monographs in theoretical computer science, 1431-2654".
- 2011941495 isPartOf "Monographs in theoretical computer science.".
- 2011941495 issued "2012".
- 2011941495 issued "c2012.".
- 2011941495 language "eng".
- 2011941495 publisher "Heidelberg ; New York : Springer,".
- 2011941495 subject "Computer science Mathematics.".
- 2011941495 subject "Computer software Development.".
- 2011941495 subject "Formal methods (Computer science)".
- 2011941495 subject "QA76.9.M35 S26 2012".
- 2011941495 subject "Software engineering.".
- 2011941495 tableOfContents "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.".
- 2011941495 title "Foundations of algebraic specification and formal software development / Donald Sannella, Andrzej Tarlecki.".
- 2011941495 type "text".