9783540222651 - validation of stochastic systems: a guide to current research (lecture notes in computer science): a guide to current research (lecture notes in computer science): 2925 de baier, christel (12 resultados)
- Tapa blanda
Librería: Emile Kerssemakers ILAB, Heerlen, HolandaEmile Kerssemakers ILAB
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado
EUR 10,00
Envío por EUR 25,45Se envía de Holanda a Estados Unidos de AmericaCantidad disponible: 1 disponibles
23 cm. original paperback. 466 pp. references. "Lecture Notes in Computer Science". -(libr labels, library stamp, otherwise good). 720g.
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 60,89
Envío por EUR 13,94Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
- Tapa blanda
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 82,08
Envío por EUR 3,44Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. pp. 480.
- Tapa blanda
Librería: Antiquariat Andree Schulte, Grafschaft-Ringen, AlemaniaAntiquariat Andree Schulte
Contactar con el vendedorVendedor de 5 estrellasMiembro de asociación: GIAQ
Condición: Usado
EUR 42,80
Envío por EUR 45,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
VIII / 465 pp. Sprache: Englisch Gewicht in Gramm: 700 Large 8vo. Original-Softcover, a little bit rubbed and slightly bumped, otherwise fine, text in English.
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 63,61Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - It is with great pleasure that we present to you this tutorial volume entitled Validation of Stochastic Systems.ItisoneoftheresultsoftheDutch-German- lateral cooperation project Validation of Stochastic Systems (VOSS), nanced by NWO and DFG (the Du…tch and German science foundations, respectively). In the early days of 2002, the idea emerged to organize a seminar at Schloss Dagstuhl, not the usual Dagstuhl seminar with primarily invited participants, but a seminar aimed at young(er) people, and for which the organizers assign themes to be worked upon and presented on. Following an open call announced via the Internet in the spring of 2002, we received many applications for part- ipation. After a selection procedure, we decided to assign (mostly) teams of two researchers to work on speci c topics, roughly divided into the following four theme areas: Modelling of Stochastic Systems, Model Checking of Stochastic Systems, Representing Large State Spaces, and Deductive Veri cation of Stochastic Systems. These are the titles of the four parts of this volume. TheseminarwasheldinSchlossDagstuhlduringDecember8 11,2002aspart of the so-called GI/Research Seminar series. This series of seminars is nancially supported by theGesellschaft fur Informatik, the German Computer Society. At that point in time the papers had already undergone a rst review round. Each of the tutorial papers was presented in a one-hour session, and on the basis of the presentations we decided to bring together a selection of them into a book.
- Tapa blanda
Librería: Mispah books, Redhill, SURRE, Reino UnidoMispah books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 157,03
Envío por EUR 29,10Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: New. New .Ships From Multiple Locations. book.
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -It is with great pleasure that we present to you this tutorial volume entitled Validation of Stochastic Systems.ItisoneoftheresultsoftheDutch-German- lateral cooperation project Validation of Stochastic Systems (VOSS), nanced by NWO… and DFG (the Dutch and German science foundations, respectively). In the early days of 2002, the idea emerged to organize a seminar at Schloss Dagstuhl, not the usual Dagstuhl seminar with primarily invited participants, but a seminar aimed at young(er) people, and for which the organizers assign themes to be worked upon and presented on. Following an open call announced via the Internet in the spring of 2002, we received many applications for part- ipation. After a selection procedure, we decided to assign (mostly) teams of two researchers to work on speci c topics, roughly divided into the following four theme areas: Modelling of Stochastic Systems, Model Checking of Stochastic Systems, Representing Large State Spaces, and Deductive Veri cation of Stochastic Systems. These are the titles of the four parts of this volume. TheseminarwasheldinSchlossDagstuhlduringDecember8 11,2002aspart of the so-called GI/Research Seminar series. This series of seminars is nancially supported by theGesellschaft fur Informatik, the German Computer Society. At that point in time the papers had already undergone a rst review round. Each of the tutorial papers was presented in a one-hour session, and on the basis of the presentations we decided to bring together a selection of them into a book. 480 pp. Englisch.
- Tapa blanda
- Impresión bajo demanda
Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 81,48
Envío por EUR 7,56Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. Print on Demand pp. 480 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
- Tapa blanda
- Impresión bajo demanda
Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 82,49
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. PRINT ON DEMAND pp. 480.
- Tapa blanda
- Impresión bajo demanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 48,37
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Kartoniert / Broschiert. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Modelling Stochastic Systems.- Probabilistic Automata: System Types, Parallel Composition and Comparison.- Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process A…lgebras with General Distributions.- An Overview of Probabilistic.
- Tapa blanda
- Impresión bajo demanda
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemaniabuchversandmimpf2000
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 60,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Modelling Stochastic Systems.- Probabilistic Automata: System Types, Parallel Composition and Comparison.- Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions.- An Over…view of Probabilistic Process Algebras and Their Equivalences.- Model Checking of Stochastic Systems.- Verifying Qualitative Properties of Probabilistic Programs.- On Probabilistic Computation Tree Logic.- Model Checking for Probabilistic Timed Systems.- Representing Large State Spaces.- Serial Disk-Based Analysis of Large Stochastic Models.- Kronecker Based Matrix Representations for Large Markov Models.- Symbolic Representations and Analysis of Large Probabilistic Systems.- Probabilistic Methods in State Space Analysis.- Deductive Verification of Stochastic Systems.- Analysing Randomized Distributed Algorithms.- An Abstraction Framework for Mixed Non-deterministic and Probabilistic Systems.- The Verification of Probabilistic Lossy Channel Systems.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 480 pp. Englisch.
Más imágenes- Tapa blanda
- Impresión bajo demanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 50,25
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Taschenbuch. Condición: Neu. Validation of Stochastic Systems | A Guide to Current Research | Christel Baier (u. a.) | Taschenbuch | viii | Englisch | 2004 | Springer | EAN 9783540222651 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbi…eter: preigu Print on Demand.
