- 5 Resultados
precio mínimo: € 26,42, precio máximo: € 53,49, precio promedio: € 34,33
1
Formal Methods for Performance Evaluation
Pedir
por Hugendubel.de
€ 53,49
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado

Formal Methods for Performance Evaluation - Pasta blanda

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 … Más…

Gastos de envío:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
cerrar (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
Pedir
por booklooker.de
€ 29,89
Envío: € 29,901
Pedir
Detalles del proveedor
Enlace patrocinado

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 - libro usado

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… Más…

Gastos de envío:Spedizione in Svizzera. (EUR 29.90) Buchpark GmbH
cerrar (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
Pedir
por booklooker.de
€ 26,42
Envío: € 3,001
Pedir
Detalles del proveedor
Enlace patrocinado
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 - libro usado

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… Más…

Gastos de envío:Versand nach Deutschland. (EUR 3.00) Buchpark GmbH
cerrar (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
Pedir
por booklooker.de
€ 32,82
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
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 - libro usado

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… Más…

Gastos de envío:Free shipping. (EUR 0.00) Buchpark GmbH
cerrar (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
Pedir
por booklooker.de
€ 29,01
Envío: € 3,001
Pedir
Detalles del proveedor
Enlace patrocinado
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 - libro usado

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

Gastos de envío:Versand nach Deutschland. (EUR 3.00) Buchpark GmbH
cerrar (X)
1Dado que algunas plataformas no nos comunican las condiciones de envío y éstas pueden depender del país de entrega, del precio de compra, del peso y tamaño del artículo, de una posible membresía a la plataforma, de una entrega directa por parte de la plataforma o a través de un tercero (Marketplace), etc., es posible que los gastos de envío indicados por eurolibro/terralibro no concuerden con los de la plataforma ofertante.

Datos bibliográficos del mejor libro coincidente

Detalles del libro
Formal Methods for Performance Evaluation
Autor:
Título:
ISBN:

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.

Detalles del libro - Formal Methods for Performance Evaluation


EAN (ISBN-13): 9783540724827
ISBN (ISBN-10): 3540724826
Tapa dura
Tapa blanda
Año de publicación: 2007
Editorial: Springer Berlin Heidelberg
467 Páginas
Peso: 0,717 kg
Idioma: eng/Englisch

Libro en la base de datos desde 2007-06-03T08:02:29-05:00 (Mexico City)
Página de detalles modificada por última vez el 2024-03-03T11:36:33-06:00 (Mexico City)
ISBN/EAN: 3540724826

ISBN - escritura alterna:
3-540-72482-6, 978-3-540-72482-7
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: hills, marc bernard, jane hill, bernardo
Título del libro: 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

Datos del la editorial

Autor: Marco Bernardo; Jane Hillston
Título: 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
Editorial: Springer; Springer Berlin
472 Páginas
Año de publicación: 2007-05-18
Berlin; Heidelberg; DE
Idioma: Inglés
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.

Más, otros libros, que pueden ser muy parecidos a este:

Último libro similar:
9783540725220 Formal Methods for Performance Evaluation (Marco Bernardo; Jane Hillston)

< para archivar...