2011, ISBN: 1441931538
[EAN: 9781441931535], Neubuch, [SC: 0.0], [PU: Springer New York], VERIFICATION; ALGORITHMS; BISIMULATION; ALGORITHM; FORMALMETHOD; FORMALVERIFICATION; LOGIC; MODELCHECKING; MODELING, Dru… Meer...
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Verzendingskosten:Versandkostenfrei. (EUR 0.00) Details... |
2011, ISBN: 1441931538
[EAN: 9781441931535], Neubuch, [SC: 0.0], [PU: Springer New York], VERIFICATION; ALGORITHMS; BISIMULATION; ALGORITHM; FORMALMETHOD; FORMALVERIFICATION; LOGIC; MODELCHECKING; MODELING, Dru… Meer...
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Verzendingskosten:Versandkostenfrei. (EUR 0.00) Details... |
2011, ISBN: 9781441931535
Kartoniert, 204 Seiten, 254mm x 178mm x 12mm, Sprache(n): eng Recently, temporal and modal logic, process calculus, and model checking have become essential software techniques for the fo… Meer...
buchfreund.de MARZIES Buch- und Medienhandel, 14621 Schönwalde-Glien Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
2010, ISBN: 9781441931535
Springer New York, Taschenbuch, Auflage: Softcover reprint of the original 1st ed. 2001, 204 Seiten, Publiziert: 2010-10-20T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 14808804, 0.88 … Meer...
Amazon.de (Intern... Verzendingskosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
2011, ISBN: 9781441931535
pocketboek
[ED: Kartoniert / Broschiert], [PU: Springer New York], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. In recent years, model checking ha… Meer...
booklooker.de |
2011, ISBN: 1441931538
[EAN: 9781441931535], Neubuch, [SC: 0.0], [PU: Springer New York], VERIFICATION; ALGORITHMS; BISIMULATION; ALGORITHM; FORMALMETHOD; FORMALVERIFICATION; LOGIC; MODELCHECKING; MODELING, Dru… Meer...
2011, ISBN: 1441931538
[EAN: 9781441931535], Neubuch, [SC: 0.0], [PU: Springer New York], VERIFICATION; ALGORITHMS; BISIMULATION; ALGORITHM; FORMALMETHOD; FORMALVERIFICATION; LOGIC; MODELCHECKING; MODELING, Dru… Meer...
2011
ISBN: 9781441931535
Kartoniert, 204 Seiten, 254mm x 178mm x 12mm, Sprache(n): eng Recently, temporal and modal logic, process calculus, and model checking have become essential software techniques for the fo… Meer...
2010, ISBN: 9781441931535
Springer New York, Taschenbuch, Auflage: Softcover reprint of the original 1st ed. 2001, 204 Seiten, Publiziert: 2010-10-20T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 14808804, 0.88 … Meer...
2011, ISBN: 9781441931535
pocketboek
[ED: Kartoniert / Broschiert], [PU: Springer New York], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. In recent years, model checking ha… Meer...
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - Modal and Temporal Properties of Processes (Texts in Computer Science)
EAN (ISBN-13): 9781441931535
ISBN (ISBN-10): 1441931538
Gebonden uitgave
pocket book
Verschijningsjaar: 2001
Uitgever: Springer New York
Boek bevindt zich in het datenbestand sinds 2015-03-22T03:43:40+01:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2024-04-16T22:10:53+02:00 (Amsterdam)
ISBN/EAN: 9781441931535
ISBN - alternatieve schrijfwijzen:
1-4419-3153-8, 978-1-4419-3153-5
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: stirling
Titel van het boek: stirling, properties processes
Gegevens van de uitgever
Auteur: Colin Stirling
Titel: Texts in Computer Science; Modal and Temporal Properties of Processes
Uitgeverij: Springer; Springer US
191 Bladzijden
Verschijningsjaar: 2011-10-09
New York; NY; US
Gedrukt / Gemaakt in
Taal: Engels
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XII, 191 p. 2 illus.
BC; Hardcover, Softcover / Technik/Elektronik, Elektrotechnik, Nachrichtentechnik; Regelungstechnik; Verstehen; Algorithms; Bisimulation; algorithm; formal method; formal verification; logic; model checking; modeling; verification; Control and Systems Theory; Software Engineering; Computer Engineering and Networks; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Software Engineering; Computerhardware; Theoretische Informatik; BB
1 Processes.- 2 Modalities and Capabilities.- 3 Bisimulations.- 4 Temporal Properties.- 5 Modal Mu-Calculus.- 6 Verifying Temporal Properties.- 7 Exposing Structure.- References.Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
9781475735505 Modal and Temporal Properties of Processes (Colin Stirling)
< naar Archief...