Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, . (Lecture Notes in Computer Science, 4486)
ISBN 10: 3540724826 ISBN 13: 9783540724827
Editore: Springer, 2007
Nuovi
Brossura
Da
ALLBOOKS1, Direk, SA, Australia
Valutazione del venditore 5 su 5 stelle
Venditore AbeBooks dal 13 dicembre 2023
Questo articolo specifico non è più disponibile.
Riguardo questo articolo
Descrizione:
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address. Codice articolo SHUB269618
Riassunto:
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 covered several aspects of the field.
Contenuti: 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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Dati bibliografici
Titolo: Formal Methods for Performance Evaluation: ...
Casa editrice: Springer
Data di pubblicazione: 2007
Legatura: Brossura
Condizione: nuovo
I migliori risultati di ricerca su AbeBooks
Foto dell'editore
Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, . Lectures (Lecture Notes in Computer Science)
Da: Bookmonger.Ltd, HILLSIDE, NJ, U.S.A.
Valutazione del venditore 4 su 5 stelle
Paperback. Condizione: Fine. Mint condition. Codice articolo mon0000430972
Quantità: 1 disponibili
Foto dell'editore
Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, . / Programming and Software Engineering)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments. Codice articolo UTD14a-0155
Quantità: 1 disponibili
Foto dell'editore
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 Berlin Heidelberg, 2007
ISBN 10: 3540724826
ISBN 13: 9783540724827
Antico o usato
Brossura
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher. Codice articolo 3672430/2
Quantità: 1 disponibili
Foto dell'editore
Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, . Lectures (Lecture Notes in Computer Science)
Da: Bookmonger.Ltd, HILLSIDE, NJ, U.S.A.
Valutazione del venditore 4 su 5 stelle
Paperback. Condizione: New. Codice articolo mon0000430971
Quantità: 2 disponibili
Foto dell'editore
Formal Methods For Performance Evaluation
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Codice articolo ABNR-85754
Quantità: 1 disponibili
Foto dell'editore
Formal Methods For Performance Evaluation
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEOCT25-243225
Quantità: 1 disponibili
Immagini fornite dal venditore
Formal Methods for Performance Evaluation
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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, Ita. Codice articolo 4899443
Quantità: Più di 20 disponibili
Foto dell'editore
Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... (Lecture Notes in Computer Science, 4486)
Da: ALLBOOKS1, Direk, SA, Australia
Valutazione del venditore 5 su 5 stelle
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address. Codice articolo SHAK243225
Quantità: 1 disponibili
Foto dell'editore
Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... (Lecture Notes in Computer Science, 4486)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020175682
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Formal Methods for Performance Evaluation
Editore:
Springer Berlin Heidelberg Mai 2007, 2007
ISBN 10: 3540724826
ISBN 13: 9783540724827
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 covered several aspects of the field. 484 pp. Englisch. Codice articolo 9783540724827
Quantità: 2 disponibili