- 5 resultados
menor preço: € 26.42, preço mais alto: € 53.49, preço médio: € 34.33
1
Formal Methods for Performance Evaluation
Encomendar
no/na Hugendubel.de
€ 53.49
Envio: € 0.001
EncomendarLink patrocinado

Formal Methods for Performance Evaluation - Livro de bolso

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

Custos de envio:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
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
Encomendar
no/na booklooker.de
€ 29.89
Envio: € 29.901
EncomendarLink 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 - livro 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… mais…

Custos de envio:Spedizione in Svizzera. (EUR 29.90) Buchpark GmbH
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
Encomendar
no/na booklooker.de
€ 26.42
Envio: € 3.001
EncomendarLink 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 - livro 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… mais…

Custos de envio:Versand nach Deutschland. (EUR 3.00) Buchpark GmbH
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
Encomendar
no/na booklooker.de
€ 32.82
Envio: € 0.001
EncomendarLink 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 - livro 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… mais…

Custos de envio:Free shipping. (EUR 0.00) Buchpark GmbH
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
Encomendar
no/na booklooker.de
€ 29.01
Envio: € 3.001
EncomendarLink 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 - livro 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

Custos de envio:Versand nach Deutschland. (EUR 3.00) Buchpark GmbH

1Como algumas plataformas não transmitem condições de envio e estas podem depender do país de entrega, do preço de compra, do peso e tamanho do item, de uma possível adesão à plataforma, de uma entrega direta pela plataforma ou através de um fornecedor terceirizado (Marketplace), etc., é possível que os custos de envio indicados pela terralivro não correspondam aos da plataforma ofertante.

Dados bibliográficos do melhor livro correspondente

Pormenores referentes ao livro
Formal Methods for Performance Evaluation

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.

Dados detalhados do livro - Formal Methods for Performance Evaluation


EAN (ISBN-13): 9783540724827
ISBN (ISBN-10): 3540724826
Livro de capa dura
Livro de bolso
Ano de publicação: 2007
Editor/Editora: Springer Berlin Heidelberg
467 Páginas
Peso: 0,717 kg
Língua: eng/Englisch

Livro na base de dados desde 2007-06-03T10:02:29-03:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2024-03-03T14:36:33-03:00 (Sao Paulo)
Número ISBN/EAN: 9783540724827

Número ISBN - Ortografia alternativa:
3-540-72482-6, 978-3-540-72482-7
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: hills, marc bernard, jane hill, bernardo
Título do livro: 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


Dados da editora

Autor: Marco Bernardo; Jane Hillston
Título: Programming and Software Engineering; Lecture Notes in Computer Science; 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
Editora: Springer; Springer Berlin
472 Páginas
Ano de publicação: 2007-05-18
Berlin; Heidelberg; DE
Peso: 0,736 kg
Língua: Inglês
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
VII, 472 p.

BC; Theory of Computation; 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; Software Engineering; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Special Purpose and Application-Based Systems; Computer Communication Networks; 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.

Outros livros adicionais, que poderiam ser muito similares com este livro:

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


< Para arquivar...