Von dem Buch 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 haben wir 2 gleiche oder sehr ähnliche Ausgaben identifiziert!
Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
100%: Sous la direction de: Marco Bernardo, Sous la direction de: 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 (ISBN: 9783540724827) 2007, Springer Mai 2007, Erstausgabe, in Deutsch, Taschenbuch.Nur diese Ausgabe anzeigen…
![[(Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures )] [Author: [Jun-2005]](/c-9783540256977-4.jpg){kind=small}
47%: Sous la direction de: Marco Bernardo, Sous la direction de: Alessandro Bogliolo: [(Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures )] [Author: [Jun-2005] (ISBN: 9783540256977) in Englisch, Taschenbuch.Nur diese Ausgabe anzeigen…
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
10 Angebote vergleichen
| Preise | 2012 | 2013 | 2014 | 2015 |
|---|---|---|---|---|
| Schnitt | € 45,83 | € 30,69 | € 65,95 | € 67,26 |
| Nachfrage |
1
Symbolbild
Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, Software Systems, Sfm-M (2015)
DE PB NWISBN: 9783540256977 bzw. 3540256970, in Deutsch, SPRINGER VERLAG GMBH 01/04/2015, Taschenbuch, neu.
Von Händler/Antiquariat, Books2Anywhere [190245], Fairford, GLOS, United Kingdom.
New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. This item is printed on demand.
New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. This item is printed on demand.
2
Symbolbild
Formal Methods for Mobile Computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures (2005)
DE PB USISBN: 9783540256977 bzw. 3540256970, in Deutsch, Springer, Taschenbuch, gebraucht.
Von Händler/Antiquariat, BookOrders [630409], Russell, IA, U.S.A.
LNCS 3465. Soft cover. Usual ex-library features. The interior is clean and tight. Binding and cover are good. Library label on front. 270 pages.
LNCS 3465. Soft cover. Usual ex-library features. The interior is clean and tight. Binding and cover are good. Library label on front. 270 pages.
3
Formal Methods for Performance Evaluation
DE PB NWISBN: 9783540724827 bzw. 3540724826, in Deutsch, Springer, Berlin, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
buecher.de GmbH & Co. KG, [1].
PThis 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./P PSFM 2007 was devoted to formal techniques for performance evaluation and covered several aspects of the field./P2007. vii, 469 S. VII, 469 p. Also available online. 235 mmVersandfertig in 3-5 Tagen, Softcover.
buecher.de GmbH & Co. KG, [1].
PThis 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./P PSFM 2007 was devoted to formal techniques for performance evaluation and covered several aspects of the field./P2007. vii, 469 S. VII, 469 p. Also available online. 235 mmVersandfertig in 3-5 Tagen, Softcover.
4
Symbolbild
Formal Methods for Mobile Computing. 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures (2005)
DE PB NWISBN: 9783540256977 bzw. 3540256970, in Deutsch, Springer, Taschenbuch, neu.
Von Händler/Antiquariat, Herb Tandree Philosophy Books [17426], Stroud, GLOS, United Kingdom.
9783540256977 Paperback, This listing is a new book, a title currently in-print which we order directly and immediately from the publisher.
9783540256977 Paperback, This listing is a new book, a title currently in-print which we order directly and immediately from the publisher.
5
Formal Methods for Mobile Computing
EN NWISBN: 9783540256977 bzw. 3540256970, in Englisch, Springer, Berlin/Heidelberg, Deutschland, neu.
Lieferung aus: Deutschland, Versandfertig in 5 - 7 Tagen.
5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures, Thisvolumecollectsasetofpapersaccompanyingthelecturesofthe?fthedition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM). Thisseriesofschoolsaddressestheuseofformalmethodsincomputerscience asaprominentapproachtotherigorousdesignofcomputer,communication and software systems. The main aim of the SFM series is to o?er a good spectrum of current research in foundations as well as applications of formal methods, which can be of help for graduate students and young researchers who intend to approach the "eld. SFM 2005 (Moby) was devoted to formal methods and tools for the design of mobile systems and mobile communication infrastructures. This volume is organized into four parts related to mobile computing, which cover models and languages, scalability and performance, dynamic power management, and m- dleware support. Each part is composed of two papers. The opening paper by Montanari and Pistore gives an overview of histo- dependent automata, an extension of ordinary automata that overcomes their limitations in dealing with named calculi. In particular, the authors show that history-dependent automata allow for a compact representation of"-calculus processes, which is suitable both for theoretical investigations and for the v- i?cation of models of agents and code mobility. Bettini and De Nicola s - per presents X-Klaim, an experimental programming language speci?cally - signed to develop distributed systems composed of several components intera- ing through multiple distributed tuple spaces and mobile code. Through a series of examples, the authors show that many mobile code programming paradigms can be naturally implemented by means of the considered language, which c- bines explicit localities as "rst-class data with coordination primitives.
5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures, Thisvolumecollectsasetofpapersaccompanyingthelecturesofthe?fthedition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM). Thisseriesofschoolsaddressestheuseofformalmethodsincomputerscience asaprominentapproachtotherigorousdesignofcomputer,communication and software systems. The main aim of the SFM series is to o?er a good spectrum of current research in foundations as well as applications of formal methods, which can be of help for graduate students and young researchers who intend to approach the "eld. SFM 2005 (Moby) was devoted to formal methods and tools for the design of mobile systems and mobile communication infrastructures. This volume is organized into four parts related to mobile computing, which cover models and languages, scalability and performance, dynamic power management, and m- dleware support. Each part is composed of two papers. The opening paper by Montanari and Pistore gives an overview of histo- dependent automata, an extension of ordinary automata that overcomes their limitations in dealing with named calculi. In particular, the authors show that history-dependent automata allow for a compact representation of"-calculus processes, which is suitable both for theoretical investigations and for the v- i?cation of models of agents and code mobility. Bettini and De Nicola s - per presents X-Klaim, an experimental programming language speci?cally - signed to develop distributed systems composed of several components intera- ing through multiple distributed tuple spaces and mobile code. Through a series of examples, the authors show that many mobile code programming paradigms can be naturally implemented by means of the considered language, which c- bines explicit localities as "rst-class data with coordination primitives.
6
Formal Methods for Performance Evaluation (2007)
DE PB NW RPISBN: 9783540724827 bzw. 3540724826, in Deutsch, Springer Mai 2007, Taschenbuch, neu, Nachdruck.
Von Händler/Antiquariat, AHA-BUCH GmbH [51283250], Einbeck, Germany.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
7
Symbolbild
Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, . / Programming and Software Engineering) (2008)
DE PB NWISBN: 9783540256977 bzw. 3540256970, in Deutsch, Springer, Taschenbuch, neu.
Von Händler/Antiquariat, ExtremelyReliable [8304062], RICHMOND, TX, U.S.A.
This item is printed on demand.
This item is printed on demand.
8
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 (2007)
DE PB USISBN: 9783540724827 bzw. 3540724826, in Deutsch, Springer, Taschenbuch, gebraucht.
Von Händler/Antiquariat, Herb Tandree Philosophy Books [17426], Stroud, UK, United Kingdom.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
9
Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, . / Programming and Software Engineering) (2007)
DE PB USISBN: 9783540724827 bzw. 3540724826, in Deutsch, Springer, Taschenbuch, gebraucht.
Von Händler/Antiquariat, Bookmonger.Ltd [53776031], Hillside, NJ, U.S.A.
*** Shipped promptly *** Great customer service *** Satisfaction guaranteed.
*** Shipped promptly *** Great customer service *** Satisfaction guaranteed.
Lade…