- 5 Résultats
prix le plus bas: € 26,42, prix le plus élevé: € 53,49, prix moyen: € 34,33
1
Formal Methods for Performance Evaluation
Commander
sur Hugendubel.de
€ 53,49
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé

Formal Methods for Performance Evaluation - Livres de poche

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 … Plus…

Frais d'envoiShipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
fermer(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
Commander
sur booklooker.de
€ 29,89
Envoi: € 29,901
Commander
Détails du fournisseur
Lien sponsorisé

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 - livre d'occasion

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… Plus…

Frais d'envoiSpedizione in Svizzera. (EUR 29.90) Buchpark GmbH
fermer(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
Commander
sur booklooker.de
€ 26,42
Envoi: € 3,001
Commander
Détails du fournisseur
Lien sponsorisé
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 - livre d'occasion

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… Plus…

Frais d'envoiVersand nach Deutschland. (EUR 3.00) Buchpark GmbH
fermer(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
Commander
sur booklooker.de
€ 32,82
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
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 - livre d'occasion

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… Plus…

Frais d'envoiFree shipping. (EUR 0.00) Buchpark GmbH
fermer(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
Commander
sur booklooker.de
€ 29,01
Envoi: € 3,001
Commander
Détails du fournisseur
Lien sponsorisé
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 - livre d'occasion

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

Frais d'envoiVersand nach Deutschland. (EUR 3.00) Buchpark GmbH
fermer(X)
1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
Formal Methods for Performance Evaluation
Auteur:
Titre:
ISBN:

9783540724827


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.

Informations détaillées sur le livre - Formal Methods for Performance Evaluation


EAN (ISBN-13): 9783540724827
ISBN (ISBN-10): 3540724826
Version reliée
Livre de poche
Date de parution: 2007
Editeur: Springer Berlin Heidelberg
467 Pages
Poids: 0,717 kg
Langue: eng/Englisch

Livre dans la base de données depuis 2007-06-03T15:02:29+02:00 (Zurich)
Page de détail modifiée en dernier sur 2024-03-03T18:36:33+01:00 (Zurich)
ISBN/EAN: 9783540724827

ISBN - Autres types d'écriture:
3-540-72482-6, 978-3-540-72482-7
Autres types d'écriture et termes associés:
Auteur du livre: hills, marc bernard, jane hill, bernardo
Titre du livre: 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

Données de l'éditeur

Auteur: Marco Bernardo; Jane Hillston
Titre: 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
Editeur: Springer; Springer Berlin
472 Pages
Date de parution: 2007-05-18
Berlin; Heidelberg; DE
Langue: Anglais
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.

Autres livres qui pourraient ressembler au livre recherché:

Dernier livre similaire:
9783540725220 Formal Methods for Performance Evaluation (Marco Bernardo; Jane Hillston)

< pour archiver...