- 5 Risultati
prezzo più basso: € 26,42, prezzo più alto: € 53,49, prezzo medio: € 34,33
1
Formal Methods for Performance Evaluation
Ordina
da Hugendubel.de
€ 53,49
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato

Formal Methods for Performance Evaluation - edizione con copertina flessibile

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

Costi di spedizione:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
Chiudere (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
Ordina
da booklooker.de
€ 29,89
Spedizione: € 29,901
Ordina
Dettagli del offerente
Link sponsorizzato

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 - libri usati

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

Costi di spedizione:Spedizione in Svizzera. (EUR 29.90) Buchpark GmbH
Chiudere (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
Ordina
da booklooker.de
€ 26,42
Spedizione: € 3,001
Ordina
Dettagli del offerente
Link sponsorizzato
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 - libri usati

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

Costi di spedizione:Versand nach Deutschland. (EUR 3.00) Buchpark GmbH
Chiudere (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
Ordina
da booklooker.de
€ 32,82
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
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 - libri usati

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

Costi di spedizione:Free shipping. (EUR 0.00) Buchpark GmbH
Chiudere (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
Ordina
da booklooker.de
€ 29,01
Spedizione: € 3,001
Ordina
Dettagli del offerente
Link sponsorizzato
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 - libri usati

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

Costi di spedizione:Versand nach Deutschland. (EUR 3.00) Buchpark GmbH
Chiudere (X)
1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
Formal Methods for Performance Evaluation
Autore:
Titolo:
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.

Informazioni dettagliate del libro - Formal Methods for Performance Evaluation


EAN (ISBN-13): 9783540724827
ISBN (ISBN-10): 3540724826
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2007
Editore: Springer Berlin Heidelberg
467 Pagine
Peso: 0,717 kg
Lingua: eng/Englisch

Libro nella banca dati dal 2007-06-03T15:02:29+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2024-03-03T18:36:33+01:00 (Zurich)
ISBN/EAN: 3540724826

ISBN - Stili di scrittura alternativi:
3-540-72482-6, 978-3-540-72482-7
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : hills, marc bernard, jane hill, bernardo
Titolo 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

Dati dell'editore

Autore: Marco Bernardo; Jane Hillston
Titolo: 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
Editore: Springer; Springer Berlin
472 Pagine
Anno di pubblicazione: 2007-05-18
Berlin; Heidelberg; DE
Lingua: Inglese
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.

Altri libri che potrebbero essere simili a questo:

Ultimo libro simile:
9783540725220 Formal Methods for Performance Evaluation (Marco Bernardo; Jane Hillston)

< Per archiviare...