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… Plus…
amazon.co.uk PAMS Ent Frais d'envoiIn stock. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.59) Details... |
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 &… Plus…
amazon.de PAMS Ent Frais d'envoiAuf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings - Livres de poche
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… Plus…
ZVAB.com Buchpark, Trebbin, Germany [83435977] [Note: 5 (sur 5)] NOT NEW BOOK. Frais d'envoi EUR 5.90 Details... |
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) - Livres de poche
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,… Plus…
Biblio.co.uk |
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) - Livres de poche
2008, ISBN: 9783540857778
Paperback. Very Good., 3
Biblio.co.uk |
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) - Livres de poche
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… Plus…
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 &… Plus…
Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings - Livres de poche
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… Plus…
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) - Livres de poche
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,… Plus…
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) - Livres de poche
2008, ISBN: 9783540857778
Paperback. Very Good., 3
Données bibliographiques du meilleur livre correspondant
Auteur: | |
Titre: | |
ISBN: |
Informations détaillées sur le livre - 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
Version reliée
Livre de poche
Date de parution: 2008
Editeur: Cassez, Franck, Springer
294 Pages
Poids: 0,475 kg
Langue: eng/Englisch
Livre dans la base de données depuis 2008-12-15T05:25:07+01:00 (Paris)
Page de détail modifiée en dernier sur 2023-08-30T21:07:12+02:00 (Paris)
ISBN/EAN: 9783540857778
ISBN - Autres types d'écriture:
3-540-85777-X, 978-3-540-85777-8
Autres types d'écriture et termes associés:
Auteur du livre: franck, claude franc
Titre du livre: formal modeling analysis timed systems, system, saint malo, france, time form form time, general analysis, september 2008
Données de l'éditeur
Auteur: Franck Cassez; Claude Jard
Titre: 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
Editeur: Springer; Springer Berlin
295 Pages
Date de parution: 2008-09-05
Berlin; Heidelberg; DE
Imprimé / Fabriqué en
Poids: 0,480 kg
Langue: Anglais
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.Autres livres qui pourraient ressembler au livre recherché:
Dernier livre similaire:
9783642738340 Methods in Protein Sequence Analysis (Brigitte Wittmann-Liebold)
- 9783642738340 Methods in Protein Sequence Analysis (Brigitte Wittmann-Liebold)
- 9783642738364 Methods in Protein Sequence Analysis: Proceedings of the 7th International Conference, Berlin, July 3-8, 1988 (Wittmann-Liebold, Brigitte)
- 9780306444883 Methods in Protein Sequence Analysis (Sakiyama, F. (Herausgeber); Imahori, K. (Herausgeber))
- 9780387194332 Methods in Protein Sequence Analysis: Proceedings of the 7th International Conference, Berlin, July 3-8, 1988 (Wittmann-Liebold)
- 9783540194330 Methods in Protein Sequence Analysis: Proceedings of the 7th International Conference, Berlin, July 3-8, 1988 (Wittmann-Liebold, Brigitte, ed.)
- 9780444802187 Solid Phase Methods in Protein Sequence Analysis: 3rd, 1979: International Conference Proceedings (Editor-C. Birr)
- Computer Analysis of Images and Patterns: 20th International Conference, CAIP 2023, Limassol, Cyprus, September 25?28, 2023, Proceedings, Part I (Lecture ... Science Book 14184) (English Edition) (Leonardis, Ale?, Bischof (auth.), Horst, Sommer, Gerald, Daniilidis, Kostas, Pauli (eds.), Josef)
< pour archiver...