Overview
Part of the book series: IFIP Advances in Information and Communication Technology (IFIPAICT, volume 69)
Included in the following conference series:
Conference proceedings info: FORTE 2001.
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 (29 papers)
-
Formal Methods in Software Development I
-
Applications of Verification
Other volumes
-
Formal Techniques for Networked and Distributed Systems
Editors and Affiliations
Bibliographic Information
Book Title: Formal Techniques for Networked and Distributed Systems
Book Subtitle: FORTE 2001
Editors: Myungchul Kim, Byoungmoon Chin, Sungwon Kang, Danhyung Lee
Series Title: IFIP Advances in Information and Communication Technology
DOI: https://doi.org/10.1007/b116730
Publisher: Springer New York, NY
-
eBook Packages: Springer Book Archive
Copyright Information: IFIP International Federation for Information Processing 2001
Hardcover ISBN: 978-0-7923-7470-1Published: 31 August 2001
Softcover ISBN: 978-1-4757-8825-9Published: 22 June 2013
eBook ISBN: 978-0-306-47003-5Published: 11 April 2006
Series ISSN: 1868-4238
Series E-ISSN: 1868-422X
Edition Number: 1
Number of Pages: XVI, 464
Topics: Computer Communication Networks, Artificial Intelligence, Processor Architectures, Software Engineering/Programming and Operating Systems, Electrical Engineering