- 5 Risultati
prezzo più basso: € 17,19, prezzo più alto: € 45,34, prezzo medio: € 30,80
1
Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings: 5215 (Lecture Notes in Computer Science, 5215)
Ordina
da amazon.co.uk
£ 24,48
(indicativi € 28,53)
Spedizione: € 5,591
OrdinaLink sponsorizzato

Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings: 5215 (Lecture Notes in Computer Science, 5215) - edizione con copertina flessibile

2008, ISBN: 9783540857778

Editor: Cassez, Franck, Editor: Jard, Claude, Springer, Paperback, Auflage: 2008, 305 Seiten, Publiziert: 2008-09-05T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: 25048509, 0.44 kg, Spe… Altro …

Costi di spedizione:In stock. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.59) PAMS Ent
2
Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings (Lecture Notes in Computer Science, 5215, Band 5215)
Ordina
da amazon.de
€ 28,81
Spedizione: € 3,001
OrdinaLink sponsorizzato
Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings (Lecture Notes in Computer Science, 5215, Band 5215) - edizione con copertina flessibile

2008, ISBN: 9783540857778

Springer, Taschenbuch, Auflage: 2008, 312 Seiten, Publiziert: 2008-10-21T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 25048509, 0.98 kg, Informatik, IT-Ausbildung & -Berufe, Computer &… Altro …

Costi di spedizione:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) PAMS Ent
3
Ordina
da ZVAB.com
€ 34,12
Spedizione: € 5,901
OrdinaLink sponsorizzato
Cassez, Franck und Claude Jard:
Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings - edizione con copertina flessibile

2008

ISBN: 354085777X

[EAN: 9783540857778], D'occasion, bon état, [SC: 5.9], [PU: Springer Berlin], LOGICAL CONSTRAINTS,DISTRIBUTED SYSTEMS,FORMAL VERIFICATION,MODELING,ITERATIVE SYSTEM TUNING,MODEL CHECKING,F… Altro …

NOT NEW BOOK. Costi di spedizione: EUR 5.90 Buchpark, Trebbin, Germany [83435977] [Note: 5 (sur 5)]
4
Ordina
da Biblio.co.uk
$ 18,93
(indicativi € 17,19)
Spedizione: € 18,401
OrdinaLink sponsorizzato
Cassez, Franck [Editor]; Jard, Claude [Editor];:
Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings ... Computer Science and General Issues) - edizione con copertina flessibile

2008, ISBN: 9783540857778

Springer, 2008-09-05. Paperback. Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding., Springer,… Altro …

Costi di spedizione: EUR 18.40 GuthrieBooks
5
Ordina
da Biblio.co.uk
$ 49,00
(indicativi € 45,34)
Spedizione: € 14,611
OrdinaLink sponsorizzato
Cassez, Franck and Jard, Claude:
Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings (Lecture Notes in Computer Science, 5215) - edizione con copertina flessibile

2008, ISBN: 9783540857778

Paperback. Very Good., 3

Costi di spedizione: EUR 14.61 Happy Days

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 Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings (Lecture Notes in Computer Science, 5215, Band 5215)

This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008. The 17 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on extensions of timed automata and semantics; timed games and logic; case studies; model-checking of probabilistic systems; verification and test; timed petri nets.

Informazioni dettagliate del libro - Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings (Lecture Notes in Computer Science, 5215, Band 5215)


EAN (ISBN-13): 9783540857778
ISBN (ISBN-10): 354085777X
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2008
Editore: Cassez, Franck, Springer
294 Pagine
Peso: 0,475 kg
Lingua: eng/Englisch

Libro nella banca dati dal 2008-12-15T05:25:07+01:00 (Zurich)
Pagina di dettaglio ultima modifica in 2023-08-30T21:07:12+02:00 (Zurich)
ISBN/EAN: 9783540857778

ISBN - Stili di scrittura alternativi:
3-540-85777-X, 978-3-540-85777-8
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : franck, claude franc
Titolo del libro: formal modeling analysis timed systems, system, saint malo, france, time form form time, general analysis, september 2008


Dati dell'editore

Autore: Franck Cassez; Claude Jard
Titolo: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Formal Modeling and Analysis of Timed Systems - 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings
Editore: Springer; Springer Berlin
295 Pagine
Anno di pubblicazione: 2008-09-05
Berlin; Heidelberg; DE
Stampato / Fatto in
Peso: 0,480 kg
Lingua: Inglese
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
X, 295 p.

BC; Programming Techniques; Hardcover, Softcover / Informatik, EDV/Informatik; Computerprogrammierung und Softwareentwicklung; Verstehen; Informatik; Qos; distributed systems; embedded systems; formal analysis; formal methods; formal modeling; formal verification; iterative system tuning; logical constraints; model checking; modeling; refinement; simulation; statistical formal; verification; Theory of Computation; Software Engineering/Programming and Operating Systems; Logics and Meanings of Programs; Models and Principles; Programming Languages, Compilers, Interpreters; Programming Techniques; Theory of Computation; Software Engineering; Computer Science Logic and Foundations of Programming; Models of Computation; Compilers and Interpreters; Theoretische Informatik; Software Engineering; Compiler und Übersetzer; EA

Invited Talks.- Some Recent Results in Metric Temporal Logic.- Composing Web Services in an Open World: Issues of Quality of Service.- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets.- Session 1. Extensions of Timed Automata and Semantics.- Infinite Runs in Weighted Timed Automata with Energy Constraints.- Concavely-Priced Timed Automata.- Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets.- Timed Automata with Integer Resets: Language Inclusion and Expressiveness.- Session 2. Timed Games and Logic.- Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities.- MTL with Bounded Variability: Decidability and Complexity.- Timed Parity Games: Complexity and Robustness.- On Scheduling Policies for Streams of Structured Jobs.- Session 3. Case Studies.- A Framework for Distributing Real-Time Functions.- Formal Modeling and Scheduling of Datapaths of Digital Document Printers.- Session 4. Model-Checking of Probabilistic Systems.- A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks.- Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains.- Session 5. Verification and Test.- Convergence Verification: From Shared Memory to Partially Synchronous Systems.- Compositional Abstraction in Real-Time Model Checking.- On Conformance Testing for Timed Systems.- Session 6. Time Petri Nets.- Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs.- Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph.

Altri libri che potrebbero essere simili a questo:

Ultimo libro simile:
9783642738340 Methods in Protein Sequence Analysis (Brigitte Wittmann-Liebold)


< Per archiviare...