- 5 Ergebnisse
Kleinster Preis: € 26,42, größter Preis: € 53,49, Mittelwert: € 34,33
1
Formal Methods for Performance Evaluation
Bestellen
bei Hugendubel.de
€ 53,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Formal Methods for Performance Evaluation - Taschenbuch

2007, ISBN: 9783540724827

*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 … Mehr…

Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
zuklappen (X)
2
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 - Bernardo, Marco und Jane Hillston
Bestellen
bei booklooker.de
€ 29,89
Versand: € 29,901
Bestellen
Details beim Anbieter
gesponserter Link

Bernardo, Marco und Jane Hillston:

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 - gebrauchtes Buch

2007, ISBN: 9783540724827

[PU: Springer Berlin], Gepflegter, sauberer Zustand. 3672430/2, DE, [SC: 29.90], gebraucht; sehr gut, gewerbliches Angebot, 2007, Banküberweisung, Kreditkarte, PayPal, Klarna-Sofortüberwe… Mehr…

Versandkosten:Spedizione in Svizzera. (EUR 29.90) Buchpark GmbH
zuklappen (X)
3
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 - Bernardo, Marco und Jane Hillston
Bestellen
bei booklooker.de
€ 26,42
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link
Bernardo, Marco und Jane Hillston:
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 - gebrauchtes Buch

2007

ISBN: 9783540724827

[PU: Springer Berlin], Gepflegter, sauberer Zustand. 3672430/2, DE, [SC: 3.00], gebraucht; sehr gut, gewerbliches Angebot, 2007, Banküberweisung, Kreditkarte, PayPal, Klarna-Sofortüberwei… Mehr…

Versandkosten:Versand nach Deutschland. (EUR 3.00) Buchpark GmbH
zuklappen (X)
4
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 - Bernardo, Marco und Jane Hillston
Bestellen
bei booklooker.de
€ 32,82
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Bernardo, Marco und Jane Hillston:
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 - gebrauchtes Buch

2007, ISBN: 9783540724827

[PU: Springer Berlin], Gepflegter, sauberer Zustand. 3672430/2, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2007, Banküberweisung, Kreditkarte, PayPal, Klarna-Sofortüberwei… Mehr…

Versandkosten:Free shipping. (EUR 0.00) Buchpark GmbH
zuklappen (X)
5
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 - Bernardo, Marco und Jane Hillston
Bestellen
bei booklooker.de
€ 29,01
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link
Bernardo, Marco und Jane Hillston:
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 - gebrauchtes Buch

2007, ISBN: 9783540724827

[PU: Springer Berlin], Gepflegter, sauberer Zustand. 3672430/2, DE, [SC: 3.00], gebraucht; sehr gut, gewerbliches Angebot, 2007, Banküberweisung, Kreditkarte, PayPal, Internationaler Versand

Versandkosten:Versand nach Deutschland. (EUR 3.00) Buchpark GmbH
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Formal Methods for Performance Evaluation
Autor:
Titel:
ISBN-Nummer:

3540724826


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 coveres several aspects of the field, including formalisms for performance modeling (Markov chains, queueing networks, stochastic Petri nets, and stochastic process algebras), equivalence checking and model checking, efficient solution techniques, and software performance engineering.

Detailangaben zum Buch - Formal Methods for Performance Evaluation


EAN (ISBN-13): 9783540724827
ISBN (ISBN-10): 3540724826
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2007
Herausgeber: Springer Berlin Heidelberg
467 Seiten
Gewicht: 0,717 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-06-03T15:02:29+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-03-03T18:36:33+01:00 (Berlin)
ISBN/EAN: 3540724826

ISBN - alternative Schreibweisen:
3-540-72482-6, 978-3-540-72482-7
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: hills, marc bernard, jane hill, bernardo
Titel des Buches: lectures, computer systems, evaluation, design performance, formal methods, intelligence communication systems, software system design methods, lecture performance, methods for design, methods programming, design international, school what, lecture notes computer science, 7th international, design and the computer, communication systems engineering, italy

Daten vom Verlag:

Autor/in: Marco Bernardo; Jane Hillston
Titel: Lecture Notes in Computer Science; Programming and Software Engineering; 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
Verlag: Springer; Springer Berlin
472 Seiten
Erscheinungsjahr: 2007-05-18
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
VII, 472 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Informatik; Computer; Unified Modeling Language (UML); automata; calculus; communication systems design; formal method; formal methods; formal specification; graph partitioning; load balancing; model checking; modeling; performance analysis; performance modeling; petri net; Theory of Computation; Software Engineering; Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Special Purpose and Application-Based Systems; Computer Communication Networks; Software Engineering; Compiler und Übersetzer; Wissensbasierte Systeme, Expertensysteme; Netzwerk-Hardware; EA

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.

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9783540725220 Formal Methods for Performance Evaluation (Marco Bernardo; Jane Hillston)

< zum Archiv...