Passer au contenu principal Passer au contenu du pied de page

Formal Description Techniques And Protocol Specification, Testing And Verification: Forte X / Pstv Xvii '97

Atsushi Togashi , Tadanori Mizuno , Norio Shiratori

11 janvier 2013

321,50 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 1 608 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

550

IFIP Advances in Information and Communication Technology

Publié par: Springer/Sci-Tech/Trade

Dimensions à l’expédition: 9" H x 6" W x 1" L

ISBN: 9781475752601

Installing And Configuring Windows Server 2012 Training Guide: Mcsa 70-410

Mitch Tulloch Couverture souple
62,99 $
2 formats offerts
Big Data Platforms and Applications: Case Studies, Methods, Techniques, and Performance Evaluation

Florin Pop Couverture souple
291,95 $
Big Data Platforms And Applications: Case Studies, Methods, Techniques, And Performance Evaluation

Florin Pop Couverture rigide
291,95 $
2 formats offerts
BPM Process Analysis A Complete Guide - 2021 Edition

Livre numérique Kobo
79,99 $ ~~Réduction sur le prix courant 99,99 $ à~~
Structured Analysis And Design Technique A Complete Guide - 2020 Edition

Livre numérique Kobo
79,99 $ ~~Réduction sur le prix courant 99,99 $ à~~
Design Thinking A Complete Guide - 2021 Edition

Livre numérique Kobo
79,99 $ ~~Réduction sur le prix courant 99,99 $ à~~
Processes And Systems A Complete Guide - 2021 Edition

Livre numérique Kobo
79,99 $ ~~Réduction sur le prix courant 99,99 $ à~~
Practical Tableau: 100 Tips, Tutorials, And Strategies From A Tableau Zen Master

Ryan Sleeper Couverture souple
74,99 $
2 formats offerts
Geolocation Of A Node On A Local Area Network

John R Clarson Couverture souple
60,51 $
Microsoft Access (versions 2016, 2019, 2021 et Microsoft 365): 33 exercices et corrigés

Pierre Rigollet Couverture souple
39,95 $
GENESYS An ARTEMIS Cross-Domain Reference Architecture for Embedded Systems

Couverture souple
155,00 $
Multi Level Marketing A Complete Guide - 2021 Edition

Livre numérique Kobo
79,99 $ ~~Réduction sur le prix courant 99,99 $ à~~
Applications iPhone avec HTML, CSS et JavaScript: conversion en natifs avec PhoneGap

Jonathan Stark Couverture souple
39,95 $
2 formats offerts
AutoCAD 2020: conception, dessin 2D et 3D, présentation

Olivier Le Frapper Couverture souple
84,95 $
Spectrum Sensing Techniques And Applications

Marcelo Sampaio De Alencar Couverture souple
72,95 $
Tableaux de bord: pilotez vos informations pour optimiser la prise de décision avec Excel (versions Microsoft 365, 2019, 2021)

Jean-François Rieu Couverture souple
34,95 $
A Modular and Extensible Network Storage Architecture

Sai Lai Lo Couverture souple
53,95 $
2 formats offerts
Assortment Management A Complete Guide - 2019 Edition

Livre numérique Kobo
75,99 $ ~~Réduction sur le prix courant 94,99 $ à~~
Improving Maintenance Data Collection Via Point-of-maintenance Implementation

William D Cone Couverture souple
60,51 $
The Architecture of Open Source Applications

Amy Brown Couverture souple
45,50 $

Évaluation éditoriale

Auteur

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 Couverture souple
321,50 $
2 formats offerts
Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX'99

Samuel T. Jianping Wu Couverture souple
321,50 $
2 formats offerts
Formal Techniques for Networked and Distributed Systems: FORTE 2001

Myungchul Myungchul Kim Couverture souple
321,50 $
2 formats offerts
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 Couverture souple
248,50 $
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 Couverture souple
160,95 $
2 formats offerts
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 Couverture souple
321,50 $
2 formats offerts
Information Access Evaluation - Multilinguality, Multimodality, and Interaction: 5th International Conference of the CLEF Initiative, CLEF 2014, Sheffield, UK, September 15-18, 2014, Proceedings

Evangelos Kanoulas Couverture souple
80,50 $
Data Management on New Hardware: 7th International Workshop on Accelerating Data Analysis and Data Management Systems Using Modern Processor and Storage Architectures, ADMS 2016 and 4th International Workshop on In-Memory Data Management and Analytics, IMDM 2016, New Delhi, India, Septem

Spyros Blanas Couverture souple
80,50 $
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 Couverture souple
321,50 $
2 formats offerts
Multidisciplinary Research and Practice for Informations Systems: IFIP WG 8.4, 8.9, TC 5 International Cross Domain Conference and Workshop on Availability, Reliability, and Security, CD-ARES 2012, Prague, Czech Republic, August 20-24, 2012, Proceedings

Gerald Quirchmayer Couverture souple
160,95 $
Extending the Boundaries of Design Science Theory and Practice: 14th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2019, Worcester, MA, USA, June 4-6, 2019, Proceedings

Bengisu Tulu Couverture souple
109,50 $
2 formats offerts
Object Relationship Notation (ORN) for Database Applications: Enhancing the Modeling and Implementation of Associations

Bryon K Ehlmann Couverture souple
142,95 $
2 formats offerts
Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy

Paolo Ciancarini Couverture souple
321,50 $
2 formats offerts
Towards an Optical Internet: New Visions in Optical Network Design and Modelling. IFIP TC6 Fifth Working Conference on Optical Network Design and Modelling (ONDM 2001) February 5-7, 2001, Vienna, Austria

Admela Jukan Couverture souple
248,50 $
2 formats offerts
Research and Advanced Technology for Digital Libraries: International Conference on Theory and Practice of Digital Libraries, TPDL, Berlin, Germany, September 26-28, 2011, Proceedings

Stefan Gradmann Couverture souple
80,50 $
Network Control and Engineering for QoS, Security and Mobility, IV: Fourth IFIP International Conference on Network Control and Engineering for QoS, Security and Mobility, Lannion, France, November 14-18, 2005

Dominique Ga Couverture souple
160,95 $
Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures

Marco Bernardo Couverture souple
80,50 $
Information Access Evaluation. Multilinguality, Multimodality, and Visualization: 4th International Conference of the CLEF Initiative, CLEF 2013, Valencia, Spain, September 23-26, 2013. Proceedings

Pamela Forner Couverture souple
80,50 $
Responsible Design, Implementation and Use of Information and Communication Technology: 19th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2020, Skukuza, South Africa, April 6-8, 2020, Proceedings, Part II

Mari Hattingh Couverture souple
160,95 $
2 formats offerts
Multilingual and Multimodal Information Access Evaluation: International Conference of the Cross-Language Evaluation Forum, CLEF 2010, Padua, Italy, September 20-23, 2010, Proceedings

Maristella Agosti Couverture souple
80,50 $