Formal Techniques for Networked and Distributed Systems: Forte 2001
No Customer Reviews
Select Format
Select Condition 
Book Overview
FORTE 2001, formerly FORTE/PSTV conference, is a combined conference of FORTE (Formal Description Techniques for Distributed Systems and Communication Protocols) and PSTV (Protocol Specification, Testing and Verification) conferences. This year the conference has a new name FORTE (Formal Techniques for Networked and Distributed Systems). The previous FORTE began in 1989 and the PSTV conference in 1981. Therefore the new FORTE conference actually has...
Format:Paperback
Language:English
ISBN:1475788258
ISBN13:9781475788259
Release Date:June 2013
Publisher:Springer
Length:464 Pages
Weight:1.46 lbs.
Dimensions:1.0" x 6.1" x 9.2"
Related Subjects
Artificial Intelligence Certification Client-Server Systems Computer Science Computers Computers & Technology Data in the Enterprise Design & Architecture Education & Reference Electrical & Electronics Engineering General Mathematics Medical Medical Books Medicine Methodology Networking Networks Networks, Protocols & APIs Science & Math Software Software Design & Engineering Software Design, Testing & Engineering Software Development Software Engineering Technology Theory of ComputingCustomer Reviews
0 rating
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
