Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, . (Lecture Notes in Computer Science, 4486)
ISBN 10: 3540724826 ISBN 13: 9783540724827
Published by Springer, 2007
New
Soft cover
From
Best Price, Torrance, CA, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since 30 August 2024
This specific item is no longer available.
About this Item
Description:
SUPER FAST SHIPPING. Seller Inventory # 9783540724827
Synopsis:
This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, held in Bertinoro, Italy in May/June 2007. SFM 2007 was devoted to formal techniques for performance evaluation and covered several aspects of the field.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Formal Methods for Performance Evaluation: ...
Publisher: Springer
Publication Date: 2007
Binding: Soft cover
Condition: New
Top Search Results from the AbeBooks Marketplace
Stock Image
Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, . Lectures (Lecture Notes in Computer Science)
Seller: Bookmonger.Ltd, HILLSIDE, NJ, U.S.A.
Seller rating 4 out of 5 stars
Paperback. Condition: Fine. Mint condition. Seller Inventory # mon0000430972
Stock Image
Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, . / Programming and Software Engineering)
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments. Seller Inventory # UTD14a-0155
Stock Image
Formal Methods for Performance Evaluation : 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures
Published by
Springer Berlin Heidelberg, 2007
ISBN 10: 3540724826
ISBN 13: 9783540724827
Used
Softcover
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 3672430/2
Stock Image
Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, . Lectures (Lecture Notes in Computer Science)
Seller: Bookmonger.Ltd, HILLSIDE, NJ, U.S.A.
Seller rating 4 out of 5 stars
Paperback. Condition: New. Seller Inventory # mon0000430971
Stock Image
Formal Methods For Performance Evaluation
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABNR-85754
Stock Image
Formal Methods For Performance Evaluation
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEOCT25-243225
Seller Image
Formal Methods for Performance Evaluation
Published by
Springer Berlin Heidelberg, 2007
ISBN 10: 3540724826
ISBN 13: 9783540724827
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, held in Bertinoro, Ita. Seller Inventory # 4899443
Formal Methods for Performance Evaluation | 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Formal Methods for Performance Evaluation | 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures | Jane Hillston (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2007 | Springer | EAN 9783540724827 | Verantwortliche Person für die EU: Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu. Seller Inventory # 102044103
Stock Image
Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... (Lecture Notes in Computer Science, 4486)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020175682
Seller Image
Formal Methods for Performance Evaluation
Published by
Springer Berlin Heidelberg, Springer Berlin Heidelberg Mai 2007, 2007
ISBN 10: 3540724826
ISBN 13: 9783540724827
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, held in Bertinoro, Italy in May/June 2007. SFM 2007 was devoted to formal techniques for performance evaluation and covered several aspects of the field. 484 pp. Englisch. Seller Inventory # 9783540724827