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

The Applied Data Science Workshop, Second Edition: Get started with the applications of data science and techniques to explore and assess data effectively

Alex Galea Couverture souple
46,99 $
2 formats offerts
C# 10: développez des applications Windows avec Visual Studio 2022

Jérôme Hugon Couverture souple
59,95 $
Structural Health Monitoring Based On Data Science Techniques

Alexandre Cury Couverture rigide
248,50 $
2 formats offerts
Structural Health Monitoring Based on Data Science Techniques

Alexandre Cury Couverture souple
248,50 $
Hybrid Algorithms, Techniques And Implementations Of Fuzzy Logic

Ivan Stanimirovic Couverture rigide
207,95 $
C# 12: développez des applications Windows avec Visual Studio 2022

Jérôme Hugon Couverture souple
59,95 $
C# 8: développez des applications Windows avec Visual Studio 2019

Jérôme Hugon Couverture souple
59,95 $
React: développez le front end de vos applications web et mobiles avec JavaScript

Hakim Madani Couverture souple
69,95 $
SQL Server analysis services (SSAS): calculs analytiques et restitution de données dans Power BI et Azure

Anne-Christine Bisson Couverture souple
59,95 $
Spectrum Sensing Techniques And Applications

Marcelo Sampaio De Alencar Couverture souple
72,95 $
Introduction To Proteins: Structure, Function, And Motion

Amit Kessel Livre et jouet
139,95 $
2 formats offerts
Molecular Structure

Couverture rigide
42,95 $
Molecular Structure

Couverture souple
27,50 $
Installation et configuration

Frédérique Joucla Couverture souple
57,95 $
A Modular and Extensible Network Storage Architecture

Sai Lai Lo Couverture souple
53,95 $
2 formats offerts
Programmation linéaire avec Excel: 55 problèmes d'optimisation modélisés pas à pas et résolus avec Excel

Christian Prins Couverture souple
68,95 $
Ims: A New Model For Blending Applications

Mark Wuthnow Couverture souple
110,95 $
Le deep learning pour le traitement d'images: classification, détection et segmentation avec Python et TensorFlow

Daphné Wallach Couverture souple
69,95 $
Selections For German Composition

Charles Harris Couverture souple
28,50 $
Aqueous-Mediated Synthesis: Bioactive Heterocycles

Couverture rigide
229,99 $

É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
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 Couverture souple
321,50 $
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
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
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
Optical Network Design and Modelling: IFIP TC6 Working Conference on Optical Network Design and Modelling 24-25 February 1997, Vienna, Austria

Harmen R. van As Couverture souple
160,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
Diffusing Software Product and Process Innovations: IFIP TC8 WG8.6 Fourth Working Conference on Diffusing Software Product and Process Innovations April 7-10, 2001, Banff, Canada

Mark A. Ardis Couverture souple
321,50 $
3 formats offerts
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
Method Engineering: Principles of method construction and tool support

Sjaak Brinkkemper 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 Specification to Embedded Systems Application

Achim Rettberg Couverture souple
160,95 $
2 formats offerts
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 Couverture souple
321,50 $
2 formats offerts
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 Couverture souple
248,50 $
2 formats offerts
Research Directions in Data and Applications Security XVIII: IFIP TC11 / WG11.3 Eighteenth Annual Conference on Data and Applications Security July 25-28, 2004, Sitges, Catalonia, Spain

Csilla Farkas Couverture souple
160,95 $
2 formats offerts
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 $
Data Mining and Reverse Engineering: Searching for semantics. IFIP TC2 WG2.6 IFIP Seventh Conference on Database Semantics (DS-7) 7-10 October 1997, Leysin, Switzerland

Stefano Spaccapietra Couverture souple
408,95 $
2 formats offerts
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 $