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

Jan 11, 2013

$321.50

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,608 points and enjoy extra savings with plum+.

Overview

Language

English

No. of Pages

550

IFIP Advances in Information and Communication Technology

Publisher: Springer/Sci-Tech/Trade

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

ISBN: 9781475752601

Phalcon 3: développement d'applications web en PHP

Jérémy Pastouret Boxed Set
$140.00
Réaliser des graphiques avec Excel: 30 modèles percutants pour présenter des synthèses, analyser des résultats et construire des simulations visuelles

Jean-marc Lagoda Paperback
$49.95
SolidWorks 2019: conception détaillée de pièces et d'assemblages 3D

Jean-Yves Gouez Paperback
$84.95
Use Cases Of Discrete Event Simulation: Appliance And Research

Steffen Bangsow Paperback
$248.50
2 formats available
SolidWorks 2022: conception détaillée de pièces et d'assemblages 3D

Jean-Yves Gouez Paperback
$79.95
IP Multicast Routing Protocols: Concepts and Designs

James Aweya Paperback
$143.95
3 formats available
Designing Scientific Applications on GPUs

Raphael Couturier Paperback
$91.95
Structural Drafting and the Design of Details - Scholar's Choice Edition

Carlton Thomas Bishop Paperback
$42.95
ASP.Net avec C# sous Visual Studio 2022: conception et développement d'applications web

Brice-Arnaud Guérin Paperback
$64.95
3 formats available
Natural Language Processing In Action, Second Edition

Hobson Lane Paperback
$106.99
C# 10 et ASP.NET: développement d'applications web avec Visual Studio 2022

Christophe Mommer Boxed Set
$110.00
Social Media Content Analysis: Natural Language Processing And Beyond

Kam-Fai Wong Hardcover
$220.50
2 formats available
Java et Struts 2: maîtrisez le développement d'applications web modernes

Thierry Richard Boxed Set
$115.00
Brain Stroke Prediction using Machine Learning Techniques. A Comparative Study

R Balamurugan Paperback
$73.95
Utiliser Prezi Next efficacement: Guide d'utilisation de la dernière version de Prezi

Philippe Argouges Kobo eBook
$7.99
R Bioinformatics Cookbook - Second Edition: Utilize R packages for bioinformatics, genomics, data science, and machine learning

Dan Maclean Paperback
$63.99
Assessment of Total Evacuation Systems for Tall Buildings

Enrico Ronchi Paperback
$87.95
2 formats available
Natural Language Processing in the Real World: Text Processing, Analytics, and Classification

Jyotika Singh Hardcover
$118.50
3 formats available
Cisco: introduction aux réseaux v7.0

Sébastien Artu Paperback
$11.95
Delphi 10.3: programmation orientée objet en environnement Windows

Thierry Grassia Paperback
$59.95

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
Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX'99

Samuel T. Jianping Wu 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 Techniques for Networked and Distributed Systems: FORTE 2001

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

Hardcover
$285.95
Designing Modern Embedded Systems: Software, Hardware, and Applications: 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Lippstadt, Germany, November 3-4, 2022, Proceedings

Stefan Henkler Paperback
$145.95
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
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
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
Programming Concepts and Methods PROCOMET '98: IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA

David Gries 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
Method Engineering: Principles of method construction and tool support

Sjaak Brinkkemper Paperback
$321.50
2 formats available
From Specification to Embedded Systems Application

Achim Rettberg Paperback
$160.95
2 formats available
Computer-aided design; Evaluation and optimization of performances in the research and design of Mechanical Systems - course and applications: Amazon - USA - 2020

Florian Ion Tiberiu Petrescu Paperback
$15.95
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
Flexible Assembly Systems: Assembly by Robots and Computerized Integrated Systems

A E Owen Hardcover
$142.95
Analysis, Estimations, and Applications of Embedded Systems: 6th IFIP TC 10 International Embedded Systems Symposium, IESS 2019, Friedrichshafen, Germany, September 9-11, 2019, Revised Selected Papers

Marco A. Wehrmeister Paperback
$145.95
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
Evaluating Systems for Multilingual and Multimodal Information Access: 9th Workshop of the Cross-Language Evaluation Forum, CLEF 2008, Aarhus, Denmark, September 17-19, 2008, Revised Selected Papers

Thomas Deselaers Paperback
$248.50
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