Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Similar content being viewed by others
Keywords
Table of contents (8 papers)
Editors and Affiliations
Bibliographic Information
Book Title: The Use of Formal Specification of Software
Book Subtitle: June 25–27, 1979, Berlin
Editors: H. K. Berg, W. K. Giloi
Series Title: Informatik-Fachberichte
DOI: https://doi.org/10.1007/978-3-642-67881-3
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1980
Softcover ISBN: 978-3-540-10442-1Published: 01 January 1980
eBook ISBN: 978-3-642-67881-3Published: 06 December 2012
Series ISSN: 0343-3005
Edition Number: 1
Number of Pages: VI, 390
Topics: Software Engineering
Industry Sectors: Aerospace, Automotive, Biotechnology, Chemical Manufacturing, Consumer Packaged Goods, Electronics, Energy, Utilities & Environment, Engineering, Finance, Business & Banking, Health & Hospitals, IT & Software, Law, Materials & Steel, Oil, Gas & Geosciences, Pharma, Telecommunications