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 (harde band)
Boek Temporal Logic and State Systems Fred Kröger
Libristo-code: 01567359
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maart 2008
Temporal Logic has been developed during the last 25 years to a basic and powerful formal setting fo... Volledige beschrijving
? points 187 b
76.50 €
In extern magazijn Wordt binnen 10-13 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Erzahlung seiner Fluchtversuche aus Magdeburg nach eigenhandigen Aufzeichnungen Friedrich von Trenck / Boek Gebonden (paperback)
common.buy 15.11 €
Sophienlust 299 - Familienroman Elisabeth Swoboda / E-book Adobe ePub DRM
common.buy 3.80 €
Chambre Des Deputes. Aux Chambres. Ne Precipitons Rien Ou Un Mot Sans Auteur / Boek Gebonden (paperback)
common.buy 11.81 €
W cieniu błyskawic. Trylogia Magów Szkła. Tom 1 Brian McClellan / Boek Gebonden (paperback)
common.buy 16.51 €
Heliotropismus der Tiere und seine UEbereinstimmung Jacques Loeb / Boek Gebonden (paperback)
common.buy 15.11 €
The Cruel Agreement - Versprochen an den Teufel / Boek Gebonden (paperback)
common.buy 19.52 €
Actitud ANNE LACATON / Boek Gebonden (paperback)
common.buy 15.21 €
Silberhaar (Wandkalender 2026 DIN A4 hoch), CALVENDO Monatskalender Calvendo / Kalender/agenda Kalender
common.buy 19.42 €
Das Alte Reich. Volker Press / Boek Gebonden (paperback)
common.buy 142.59 €
Škola kreslení roztomilých příšerek Naomi Lord / Boek Gebonden (paperback)
common.buy 14.21 €
El banc blau ALBERT ASENSIO / Boek Gebonden (harde band)
common.buy 15.61 €
Servicio Gallego de Salud. Temario común Miguel Ángel Estévez Fernández / Boek Gebonden (paperback)
common.buy 64.98 €
Civil Law Status Of Trade Marks Zafar Babakulov / Boek Gebonden (paperback)
common.buy 63.38 €
Voordelig
Juste une question de Temps Sarah Barzyk / Boek Gebonden (paperback)
common.buy 6.00 €
Mariage de Mlle Marguerite Dauve Avec M. Lucien Guy, 18 Novembre 1890 Romain Sourrieu / Boek Gebonden (paperback)
common.buy 12.61 €
PIANO TRIO -PARTITION+PARTIES SEPAREES WOLFGANG FORTNER Drukwerk Bladmuziek
common.buy 44.95 €
Le rêve du collectionneur Pierre FURLAN Boek Gebonden (paperback)
common.buy 28.03 €
Sur le sentier du SISU - Pour développer l'énergie du gagnant en Soi - Livre + CD Saint-Laurent / Boek binding.
common.buy 29.23 €
j’aime pas les bisous Monfils / Boek Gebonden (harde band)
common.buy 16.61 €
Le journal de bord d'une hôtesse de l'air Nadame / Boek Gebonden (paperback)
common.buy 13.81 €
Die Volkserhebung Der Jahre 1848 Und 1849 In Deutschland (1900) Otto Hartmann / Boek Gebonden (paperback)
common.buy 29.43 €
Historien om populära samtida uppfinningar Ashoka Jahnavi Prasad / Boek Gebonden (paperback)
common.buy 10.20 €
Digitale Öffentlichkeit(en) Oliver Hahn / Boek Gebonden (paperback)
common.buy 30.13 €
Geheimcode B 13, 2 DVDs Armin Müller / Video Dvd
common.buy 17.72 €

Temporal Logic has been developed during the last 25 years to a basic and powerful formal setting for the specification and verification of state based systems. This book, based on manifold university lectures given by the authors, gives a comprehensive description of this field. It presents concisely and uniformly the up to date material of the theory and applications of linear and branching time Temporal Logic, Temporal Logic of Actions, automata theoretical connections, model checking and others. All theoretical details as well as the numerous application examples are elaborated carefully and with all formal rigor, so intended to serve as a basic source and reference for active lectures 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, Stefan Merz
Taal Engels
Bindwijze Boek - Gebonden (harde band)
Datum van uitgifte 2008
Aantal pagina's 436
EAN 9783540674016
ISBN 3540674012
Libristo-code 01567359
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 840
Afmetingen 155 x 235 x 30

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

Temporal Logic: Volume 1 Dov M. Gabbay / Boek Gebonden (harde band)
common.buy 511.22 €
ROCKFORDS FORGOTTEN DRIVING PARK Amanda Becker / Boek Gebonden (paperback)
common.buy 17.11 €
Growing Tinda gourd (Citrullus vulgaris L.) under saline environment Mujahid Ali / Boek Gebonden (paperback)
common.buy 35.34 €
Effect of Simulated Acid Rain on Sunflower Plant Nand Lal / Boek Gebonden (paperback)
common.buy 57.27 €
ANT Kevin Ingam / Boek Gebonden (harde band)
common.buy 36.64 €
Mesh Dependence in PDE-Constrained Optimisation Tobias Schwedes / Boek Gebonden (paperback)
common.buy 57.97 €
The Cold Calling Equation: Problem Solved Michael Halper / Boek Gebonden (paperback)
common.buy 15.51 €
Lead in Soil WIXSON / Boek Gebonden (harde band)
common.buy 150.81 €
Too Fool For Cool BEN SCHNEIDER / Boek Gebonden (paperback)
common.buy 24.83 €
Koala Adults Coloring Book: Stress-relief Coloring Book For Grown-ups Balloon Publishing / Boek Gebonden (paperback)
common.buy 8.60 €
JOURNAL OF THE AMERICAN INSTITUTE OF ARC AMERICAN INSTITUTE O / Boek Gebonden (harde band)
common.buy 29.43 €
Medical Terminology for Healthcare Translators: English-Spanish Medical Terms Jose Luis Leyva / Boek Gebonden (paperback)
common.buy 13.81 €
Nazir Akbarabadi - 'Father of the Nazm': Selected Poems Nazir Akbarabadi / Boek Gebonden (paperback)
common.buy 23.62 €
Cannonball Moments: Telling Your Story, Deepening Your Faith Eric A. Clayton / Boek Gebonden (paperback)
common.buy 14.71 €
Pop Harry Potter Holiday Dumbledore Vinyl Figure Funko / Spel/speelgoed Speelgoed
common.buy 11.61 €
Work From Home- Work For Pain Tripti Pandey / Boek Gebonden (paperback)
common.buy 53.77 €
A History of Mongolian Shamanism Dalai Chuluunii / Boek Gebonden (paperback)
common.buy 112.15 €
100 UNOFF ROBLOX TOP 100 GAMES FARSHORE / Boek Gebonden (harde band)
common.buy 16.91 €
Cultural Resurgence in Soviet Russia, 1917-1935 Ashoke Ranjan Thakur / Boek Gebonden (harde band)
common.buy 241.94 €
Platform Engineering with Fractal Architecture Angelo Nicolosi / Boek Gebonden (paperback)
common.buy 47.16 €
A Worship Reader Ron Man / Boek Gebonden (paperback)
common.buy 20.02 €
Orchestrating Autonomous AI Agents Keiko Monroe / Boek Gebonden (paperback)
common.buy 17.31 €
Complete Shorter Fiction Herman Melville / Boek Gebonden (harde band)
common.buy 24.63 €
Beyond Bend It Like Beckham Timothy F Grainey / Boek Gebonden (paperback)
common.buy 15.61 €

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?