Skip to main content Skip to footer content

Formal Description Techniques and Protocol Specification, Testing and Verification: Forte X / Pstv XVII '97

Atsushi Togashi , Tadanori Mizuno , Norio Shiratori

Oct 31, 1997

$285.95

Online pricing. Prices and offers may vary in store.

Ship to me

Checking availability…

Buy now & pick up in store

Checking availability…

Find it in store

Checking availability…

Quantity

Earn 1,430 points and enjoy extra savings with plum+.

Overview

Language

English

No. of Pages

550

IFIP Advances in Information and Communication Technology

Publisher: Springer US

Shipping dimensions: 9" H x 6" W x 1" L

ISBN: 9780412820601

SQL Server analysis services (SSAS): calculs analytiques et restitution de données dans Power BI et Azure

Anne-Christine Bisson Paperback
$59.95
Performance Evaluation and Benchmarking for the Era of Cloud(s): 11th TPC Technology Conference, TPCTC 2019, Los Angeles, CA, USA, August 26, 2019, Revised Selected Papers

Raghunath Nambiar Paperback
$80.50
2 formats available
Estimating the Query Difficulty for Information Retrieval

David Carmel Paperback
$38.95
Handbook of HydroInformatics: Volume III: Water Data Management Best Practices

Saeid Eslamian Paperback
$266.50
2 formats available
Simulation Gaming. Applications for Sustainable Cities and Smart Infrastructures: 48th International Simulation and Gaming Association Conference, ISAGA 2017, Delft, The Netherlands, July 10-14, 2017, Revised Selected Papers

Heide Karen Lukosch Paperback
$80.50
2 formats available
Selected Topics in Performance Evaluation and Benchmarking: 4th TPC Technology Conference, TPCTC 2012, Istanbul, Turkey, August 27, 2012, Revised Selected Papers

Raghunath Nambiar Paperback
$72.95
Ubiquitous Networking: 7th International Symposium, UNet 2021, Virtual Event, May 19-22, 2021, Revised Selected Papers

Halima Elbiaze Paperback
$124.50
2 formats available
New Trends in Database and Information Systems: ADBIS 2024 Short Papers, Workshops, Doctoral Consortium and Tutorials, Bayonne, France, August 28-31, 2024, Proceedings

Joe Tekli Paperback
$145.95
Modelling And Simulation For Autonomous Systems: Third International Workshop, Mesas 2016, Rome, Italy, June 15-16, 2016, Revised Selected Papers

Jan Hodicky Paperback
$80.50
2 formats available
Dew Computing: The Sustainable IoT Perspectives

Bashis De Hardcover
$233.95
2 formats available
Advances in Conceptual Modeling - Foundations and Applications: ER 2007 Workshops CMLSA, FP-UML, ONISW, QoIS, RIGiM, SeCoGIS, Auckland, New Zealand, November 5-9, 2007, Proceedings

Jean-Luc Hainaut Paperback
$80.50
Modelling and Simulation for Autonomous Systems: First International Workshop, MESAS 2014, Rome, Italy, May 5-6, 2014, Revised Selected Papers

Jan Hodicky Paperback
$80.50
Wireless Sensor Networks for Developing Countries: First International Conference, WSN4DC 2013, Jamshoro, Pakistan, April 24-26, 2013, Revised Selected Papers

Faisal Karim Shaikh Paperback
$80.50
Fractional Differential Equations: Numerical Methods For Applications

Matthew Harker Hardcover
$189.95
SDL 2011: Integrating System and Software Modeling: 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers

Iulian Ober Paperback
$102.50
SIGMETRICS '17: ACM SIGMETRICS / International Conference on Measurement and Modeling of Computer Systems

SIGMETRICS '17 Conference Committee Paperback
$43.32
Performance Evaluation and Benchmarking: 14th TPC Technology Conference, TPCTC 2022, Sydney, NSW, Australia, September 5, 2022, Revised Selected Papers

Raghunath Nambiar Paperback
$87.95
2 formats available
Performance Evaluation and Benchmarking for the Era of Artificial Intelligence: 10th TPC Technology Conference, TPCTC 2018, Rio de Janeiro, Brazil, August 27-31, 2018, Revised Selected Papers

Raghunath Nambiar Paperback
$80.50
SolidWorks 2019: conception détaillée de pièces et d'assemblages 3D

Jean-Yves Gouez Paperback
$84.95
Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications

Chuchu Fan Kobo eBook
$48.99 ~~Price reduced from $60.21 to~~

Editorial reviews

Author

Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10-13, 2000, Pisa, Ita

Tommaso Bolognesi Paperback
$321.50
2 formats available
VLSI-SoC: Research Trends in VLSI and Systems on Chip: Fourteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2006), October 16-18, 2006, Nice, France

Giovanni De Micheli Hardcover
$160.95
Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX'99

Samuel T. Jianping Wu Paperback
$321.50
2 formats available
Formal Techniques for Networked and Distributed Systems: FORTE 2001

Myungchul Myungchul Kim Paperback
$321.50
2 formats available
Performance of Information and Communication Systems: IFIP TC6 / WG6.3 Seventh International Conference on Performance of Information and Communication Systems (PICS '98) 25-28 May 1998, Lund, Sweden

Ulf Körner Paperback
$321.50
2 formats available
Information Technology for Balanced Manufacturing Systems: IFIP TC 5, WG 5.5 Seventh International Conference on Information Technology for Balanced Automation Systems in Manufacturing and Services, Niagra Falls, Ontario, Canada, September 4-6, 2006

Weiming Shen Paperback
$321.50
2 formats available
Advanced Cad/cam Systems: State-of-the-art And Future Trends In Feature Technology

Hardcover
$285.95
VLSI-SoC: Design and Engineering of Electronics Systems Based on New Computing Paradigms: 26th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2018, Verona, Italy, October 8-10, 2018, Revised and Extended Selected Papers

Nicola Bombieri Paperback
$80.50
Analog Design Issues in Digital VLSI Circuits and Systems: A Special Issue of Analog Integrated Circuits and Signal Processing, An International Journal Volume 14, Nos. 1/2 (1997)

Juan J. Becerra Paperback
$160.95
2 formats available
VLSI: Systems on a Chip: IFIP TC10 WG10.5 Tenth International Conference on Very Large Scale Integration (VLSI '99) December 1-4, 1999, Lisboa, Portugal

Luis Miguel Silveira Paperback
$321.50
2 formats available
Testing of Communicating Systems: Tools and Techniques. IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems (TestCom 2000), August 29-September 1, 2000, Ottawa, Canada

Hasan Ural Paperback
$321.50
2 formats available
VLSI-SoC: Design Methodologies for SoC and SiP: 16th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2008, Rhodes Island, Greece, October 13-15, 2008, Revised Selected Papers

Paperback
$71.50
2 formats available
Integrated Circuit and System Design: Power and Timing Modeling, Optimization and Simulation: 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers

Jos Monteiro Paperback
$80.50
Information Infrastructure Systems for Manufacturing II: IFIP TC5 WG5.3/5.7 Third International Working Conference on the Design of Information Infrastructure Systems for Manufacturing (DIISM'98) May 18-20, 1998, Fort Worth, Texas

John J. Mills Paperback
$248.50
3 formats available
From Model-Driven Design to Resource Management for Distributed Embedded Systems: IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006) October 11-13, 2006, Braga, Portugal

Bernd Kleinjohann Paperback
$160.95
2 formats available
VLSI-SoC: Design and Engineering of Electronics Systems Based on New Computing Paradigms: 26th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2018, Verona, Italy, October 8-10, 2018, Revised and Extended Selected Papers

Nicola Bombieri Hardcover
$80.50
2 formats available
Digital and Information Technologies in Economics and Management: Proceedings of the International Scientific and Practical Conference Digital and Information Technologies in Economics and Management (Ditem2022)

Paperback
$285.95
2 formats available
Database and Application Security XV: IFIP TC11 / WG11.3 Fifteenth Annual Working Conference on Database and Application Security July 15-18, 2001, Niagara on the Lake, Ontario, Canada

Martin S. Olivier Paperback
$160.95
2 formats available
Research and Practical Issues of Enterprise Information Systems: IFIP TC 8 International Conference on Research and Practical Issues of Enterprise Information Systems (CONFENIS 2006) April 24-26, 2006, Vienna, Austria

A. Min Tjoa Paperback
$248.50
2 formats available
Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6-8, 2000, Stanford, California, USA

Scott F. Smith Paperback
$321.50
2 formats available