Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE XI/PSTV XVIII'98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distribut

Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE XI/PSTV XVIII'98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distribut

Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE XI/PSTV XVIII'98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distribut

Barcode: 09780387353944
Brand: Springer US
There are no offers for this product at this time.

More From Springer US

Inflammatory Dermatopathology : A Pathologist's Survival Guide
Inflammatory Dermatopathology : A Pathologist's Survival Guide
from £93.08
The Physician Scientist's Career Guide
The Physician Scientist's Career Guide
from £76.08
Recommender Systems Handbook
Recommender Systems Handbook
from £237.58
Extremity Replantation : A Comprehensive Clinical Guide
Extremity Replantation : A Comprehensive Clinical Guide
from £76.08
Tennis Elbow : Clinical Management
Tennis Elbow : Clinical Management
from £38.24
Rigid Body Dynamics Algorithms
Rigid Body Dynamics Algorithms
from £152.58
Emerging Non-Volatile Memories
Emerging Non-Volatile Memories
from £76.08
Ion/Molecule Attachment Reactions: Mass Spectrometry
Ion/Molecule Attachment Reactions: Mass Spectrometry
from £110.08
mHealth : Transforming Healthcare
mHealth : Transforming Healthcare
from £76.08
The Van Allen Probes Mission
The Van Allen Probes Mission
from £152.58
Atom-Probe Tomography : The Local Electrode Atom Probe
Atom-Probe Tomography : The Local Electrode Atom Probe
from £110.08
Defining Prevention Science
Defining Prevention Science
from £76.08
Optimal Stochastic Scheduling
Optimal Stochastic Scheduling
from £110.08
Pulmonary Cytopathology
Pulmonary Cytopathology
from £76.08
Exploding Wires : Volume 4
Exploding Wires : Volume 4
from £76.08
Population Systems : A General Introduction
Population Systems : A General Introduction
from £28.04
Essential Statistics
Essential Statistics
from £38.24
Aphasia Treatment : World Perspectives
Aphasia Treatment : World Perspectives
from £38.24
Cellular Degradative Processes
Cellular Degradative Processes
from £38.24
Instruction Level Parallelism
Instruction Level Parallelism
from £46.74

Price History

Excluding delivery costs, shows the lowest price over time.

Other Products You Might Like

Protocol Specification, Testing and Verification, XII : Proceedings of the IFIP TC6/WG6.1. Twelfth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florid
Protocol Specification, Testing and Verification, XII : Proceedings of the IFIP TC6/WG6.1. Twelfth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florid
from £41.79
Formal Description Techniques, IV : Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '91,
Formal Description Techniques, IV : Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '91,
from £54.14
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
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
from £152.58
Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE X / PSTV XVII '97
Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE X / PSTV XVII '97
from £152.58
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
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
from £152.58
Protocol Test Systems VIII : Proceedings of the IFIP WG6.1 TC6 Eighth International Workshop on Protocol Test Systems, September 1995
Protocol Test Systems VIII : Proceedings of the IFIP WG6.1 TC6 Eighth International Workshop on Protocol Test Systems, September 1995
from £152.58
Formal Techniques for Distributed Systems : Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012,
Formal Techniques for Distributed Systems : Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012,
from £38.24
Formal Techniques for Distributed Systems : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Island, June 6-9, 2011,
Formal Techniques for Distributed Systems : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Island, June 6-9, 2011,
from £38.24
Formal Techniques for Distributed Systems : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9
Formal Techniques for Distributed Systems : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9
from £38.24
Formal Techniques for Distributed Systems : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Technique
Formal Techniques for Distributed Systems : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Technique
from £38.24
Formal Techniques for Distributed Systems : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009, Pro
Formal Techniques for Distributed Systems : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009, Pro
from £38.24
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, F
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, F
from £152.58
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, 2
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, 2
from £152.58
Formal Methods for Open Object-Based Distributed Systems V : IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20-22, 2002
Formal Methods for Open Object-Based Distributed Systems V : IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20-22, 2002
from £76.08
New Developments in Distributed Applications and Interoperable Systems : IFIP TC6 / WG6.1 Third International Working Conference on Distributed Applications and Interoperable Systems September 17-19,
New Developments in Distributed Applications and Interoperable Systems : IFIP TC6 / WG6.1 Third International Working Conference on Distributed Applications and Interoperable Systems September 17-19,
from £152.58
Formal Techniques for Distributed Objects, Components, and Systems : 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed C
Formal Techniques for Distributed Objects, Components, and Systems : 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed C
from £46.74
Formal Techniques for Distributed Objects, Components, and Systems : 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Co
Formal Techniques for Distributed Objects, Components, and Systems : 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Co
from £38.24
Formal Techniques for Distributed Objects, Components, and Systems : 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed C
Formal Techniques for Distributed Objects, Components, and Systems : 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed C
from £38.24
Formal Techniques for Distributed Objects, Components, and Systems : 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed C
Formal Techniques for Distributed Objects, Components, and Systems : 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed C
from £38.24
Distributed Applications and Interoperable Systems II : IFIP TC6 WG6.1 Second International Working Conference on Distributed Applications and Interoperable Systems (DAIS'99)June 28-July 1, 1999, Hels
Distributed Applications and Interoperable Systems II : IFIP TC6 WG6.1 Second International Working Conference on Distributed Applications and Interoperable Systems (DAIS'99)June 28-July 1, 1999, Hels
from £110.08