Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... Notes in Computer Science, 4486, Band 4486) - Softcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Formal Methods for Performance Evaluation: 7th International...
Beispielbild für diese ISBN
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)
Anbieter: Bookmonger.Ltd, HILLSIDE, NJ, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: New. Bestandsnummer des Verkäufers mon0000430971
Neu kaufen
EUR 39,28
EUR 3,41 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
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)
Anbieter: Bookmonger.Ltd, HILLSIDE, NJ, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Fine. Mint condition. Bestandsnummer des Verkäufers mon0000430972
Gebraucht kaufen
EUR 44,35
EUR 3,41 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 10 verfügbar
Beispielbild für diese ISBN
Formal Methods For Performance Evaluation
Anbieter: Basi6 International, Irving, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Bestandsnummer des Verkäufers ABEOCT25-243225
Beispielbild für diese ISBN
Formal Methods For Performance Evaluation
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers ABBB-155910
Beispielbild für diese ISBN
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)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783540724827_new
Neu kaufen
EUR 60,02
EUR 13,84 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Formal Methods for Performance Evaluation : 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
PF. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783540724827
Neu kaufen
EUR 56,99
EUR 17,90 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 10 verfügbar
Foto des Verkäufers
Formal Methods for Performance Evaluation
Verlag:
Springer Berlin Heidelberg Mai 2007, 2007
ISBN 10: 3540724826
ISBN 13: 9783540724827
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - 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. Bestandsnummer des Verkäufers 9783540724827
Neu kaufen
EUR 53,49
EUR 23,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
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,
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 1st edition. 467 pages. 9.00x6.00x1.00 inches. In Stock. Bestandsnummer des Verkäufers x-3540724826
Neu kaufen
EUR 80,86
EUR 14,44 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 2 verfügbar
Foto des Verkäufers
Formal Methods for Performance Evaluation
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers 4899443
Neu kaufen
EUR 48,37
EUR 48,99 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Formal Methods for Performance Evaluation
Verlag:
Springer, Springer Mai 2007, 2007
ISBN 10: 3540724826
ISBN 13: 9783540724827
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Performance Modelling and Markov Chains.- Queueing Networks.- to Generalized Stochastic Petri Nets.- Stochastic Process Algebras.- A Survey of Markovian Behavioral Equivalences.- Stochastic Model Checking.- Fluid Models in Performance Analysis.- Tackling Large State Spaces in Performance Modelling.- Data Representation and Efficient Solution: A Decision Diagram Approach.- to Software Performance Engineering: Origins and Outstanding Problems.- From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 484 pp. Englisch. Bestandsnummer des Verkäufers 9783540724827
Neu kaufen
EUR 53,49
EUR 60,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar