Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Temporal Logic and State Systems

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Temporal Logic and State Systems Fred Kröger
Libristo-code: 01653648
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, november 2010
Temporal logic has developed over the last 30 years into a powerful formal setting for the specifica... Volledige beschrijving
? points 190 b
78.84 €
In extern magazijn Wordt binnen 10-18 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Le Khedive Et Le Sultan, Etude Sur La Question Turco-Egyptienne Guillaumot-H / Boek Gebonden (paperback)
common.buy 13.67 €
Wieso? Weshalb? Warum? junior, Band 28: Wenn es dunkel wird Constanza Droop / Boek Leporello (harmonicaboek)
common.buy 10.23 €
Stowasser - Neubearbeitung Barbara Dowlasz / Boek Gebonden (harde band)
common.buy 28.27 €
Order-Flow Und Preissetzung Im Wandel Der Devisenmarktstruktur Sebastian Wanke / Boek Gebonden (paperback)
common.buy 154.34 €
ARA-EGYPTIAN YOGA VOL 2 AFRICA Muata Ashby / Boek Gebonden (paperback)
common.buy 19.35 €
Tabellenhandbuch zur Ermittlung des Verkehrswerts und des Beleihungswerts von Grundstücken Wolfgang Kleiber / Boek Gebonden (harde band)
common.buy 70.53 €
Sakana Michael Mario Frese / Boek Gebonden (paperback)
common.buy 49.04 €
Vom Notendrucker zum Rechtemakler Urs Pfeiffer / Boek Gebonden (paperback)
common.buy 29.18 €
Der Formalismus in Kant's Rechtsphilosophie (1902) Hermann Bargmann / Boek Gebonden (harde band)
common.buy 33.64 €
Med Tilhörende Glossarium... Carl Rikard Unger / Boek Gebonden (paperback)
common.buy 21.27 €
Ferîdûn Bey Nicolas Vatin / Boek Gebonden (paperback)
common.buy 73.87 €

Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic; TLA (Temporal Logic of Actions); automata theoretical connections; model checking; and related theories. §All theoretical details and numerous application examples are elaborated carefully and with full formal rigor, and the book will serve as a basic source and reference for lecturers, graduate students and researchers.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Temporal Logic and State Systems
Auteur Fred Kröger, Stephan Merz
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2010
Aantal pagina's 436
EAN 9783642086809
ISBN 3642086802
Libristo-code 01653648
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 682
Afmetingen 155 x 235 x 25

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

One True Logic Griffiths / Boek Gebonden (paperback)
common.buy 39.62 €
introduction to Roman-Dutch law Robert Warden Lee / Boek Gebonden (paperback)
common.buy 29.79 €
Romans: Salvation for those who believe Schalk Bornman / Boek Gebonden (paperback)
common.buy 8.30 €
Mythic Astrology Kenneth Johnson / Boek Gebonden (paperback)
common.buy 29.79 €
The Factory Mark West / Boek Gebonden (paperback)
common.buy 12.35 €
Making Good Habits, Breaking Bad Habits: 14 New Behaviors That Will Energize Your Life Joyce Meyer / Boek Gebonden (harde band)
common.buy 28.37 €
With Gifted Thinkers Mark Manolopoulos / Boek Gebonden (paperback)
common.buy 113.60 €
Knowing God Intimately (Revised) Joyce Meyer / Boek Gebonden (paperback)
common.buy 16.51 €
Immigrants, Progressives, and Exclusion Politics Robert F. Zeidel / Boek Gebonden (harde band)
common.buy 68.40 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?