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.

Automatic Verification Methods for Finite State Systems

International Workshop, Grenoble, France, June 12-14, 1989. Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Automatic Verification Methods for Finite State Systems Joseph Sifakis
Libristo-code: 01565264
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, januari 1990
This volume contains the proceedings of a workshop held in Grenoble in June 1989. This was the first... Volledige beschrijving
? points 125 b
51.75 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Frühling - Das Geheimnis vom Rabenkopf Natalie Scharf / Video Dvd
common.buy 17.92 €
Le grec en 15 leçons Menu / Boek Gebonden (paperback)
common.buy 24.10 €
Černé barety Jaroslav Holík / Boek Gebonden (paperback)
common.buy 5.46 €
TOP
Der Vorleser Bernhard Schlink / Boek Gebonden (harde band)
common.buy 13.56 €
Projeto de um controlador de energia solar de 125V para radiaç?o solar insuficiente Rafiqul Islam / Boek Gebonden (paperback)
common.buy 32.10 €
Hasičské auto / Boek Boek
common.buy 15.39 €
Masterchef- toutes les techniques du sucré Christophe Dovergne / Boek Gebonden (paperback)
common.buy 22.88 €
Einführung in das Zivilrecht Martin Löhnig / Boek Gebonden (paperback)
common.buy 23.79 €
El arte de la guerra (Pocket) Tzu Sun / Boek Gebonden (paperback)
common.buy 9.71 €
Conan z Cimmerie Robert Ervin Howard / Audio Audio cd
common.buy 12.55 €
G. P. Telemann. 12 Fantaisies pour violon seul / Boek Blad
common.buy 25.21 €
Гостиничный менеджмент (для бак).Уч пос.3изд / Boek Gebonden (paperback)
common.buy 58.63 €
Competencia psicologica de um professor no desenvolvimento da criatividade dos alunos Natalia Afanasieva / Boek Gebonden (paperback)
common.buy 60.66 €
TOP
Ally nella tempesta - Sette sorelle Lucinda Riley / Boek Gebonden (paperback)
common.buy 21.46 €
Mito y política en la historiografía del Próximo Oriente antiguo Mario Liverani / Boek Gebonden (paperback)
common.buy 24.20 €
Na lovu kozorožce Ondřej Kříženecký / Boek Gebonden (harde band)
common.buy 9.31 €
Zur Zulässigkeit des Teilurteils gem. 301 ZPO. Oleg de Lousanoff / Boek Gebonden (paperback)
common.buy 47.19 €
Rückwärts schlüpft er aus dem Ei Erika Beltle / Boek Gebonden (harde band)
common.buy 8.80 €
Essays zu Kunst und Literatur Arthur Holitscher / Boek Gebonden (paperback)
common.buy 9.00 €
neue Isar (Band 4) Ralf Sartori / Boek Gebonden (paperback)
common.buy 17.92 €
Poésies: Poeme De La Religion, De La Grace, Odes Sacrées Louis Racine / Boek Gebonden (paperback)
common.buy 26.93 €
Geschichte Der Staatsveränderungen Von Dännemark: Aus Dem Englischen Übersezt, Volume 1... John Andrews / Boek Gebonden (paperback)
common.buy 26.02 €
Aves Maurice Duperat / Boek Gebonden (paperback)
common.buy 13.16 €
A orillas del Estado Francisco Tomás y Valiente / Boek Gebonden (paperback)
common.buy 23.69 €

This volume contains the proceedings of a workshop held in Grenoble in June 1989. This was the first workshop entirely devoted to the verification of finite state systems. The workshop brought together researchers and practitioners interested in the development and use of methods, tools and theories for automatic verification of finite state systems. The goal at the workshop was to compare verification methods and tools to assist the applications designer. The papers in this volume review verification techniques for finite state systems and evaluate their relative advantages. The techniques considered cover various specification formalisms such as process algebras, automata and logics. Most of the papers focus on exploitation of existing results in three application areas: hardware design, communication protocols and real-time systems.

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 Automatic Verification Methods for Finite State Systems
Auteur Joseph Sifakis
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 1990
Aantal pagina's 384
EAN 9783540521488
ISBN 3540521488
Libristo-code 01565264
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 1230
Afmetingen 155 x 233 x 22

Categorieën

Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI) > Expertsystemen / kennissystemen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Systeemanalyse en systeemontwerp
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

Field-Based Coordination for Pervasive Multiagent Systems Marco Mamei / Boek Gebonden (paperback)
common.buy 103.10 €
What to Do with a Box Chris Sheban / Boek Gebonden (paperback)
common.buy 11.64 €
Censored Tiane Doan na Champassak / Boek Gebonden (paperback)
common.buy 73.22 €
Introduction to Modern Analysis Vicente Montesinos Santalucía / Boek Gebonden (harde band)
common.buy 110.89 €
Answer to Hugh Miller and Theoretic Geologists. Hugh Miller / Boek Gebonden (paperback)
common.buy 22.98 €
Just a Minute Se Orita Bob Brennan / Boek Gebonden (paperback)
common.buy 19.64 €
Youth Soccer Development Noel Dempsey / Boek Gebonden (paperback)
common.buy 24.10 €
TOP
Tale of Genji Murasaki Shikibu / Boek Gebonden (paperback)
common.buy 23.08 €
Hard Knocks Ruby Lang / E-book Adobe ePub DRM
common.buy 2.72 €
Origins of Secular Institutions H. Zeynep Bulutgil / Boek Gebonden (harde band)
common.buy 97.42 €
Opening The X-Files Darren Mooney / Boek Gebonden (paperback)
common.buy 24.30 €
The Hoisted Petard: The Seventh Humboldt Prior Mystery Bob Garland / Boek Gebonden (paperback)
common.buy 15.69 €
Phaedo Plato (Greek Philosopher) / Boek Gebonden (paperback)
common.buy 12.14 €
Eight Planets in the Solar System Livermore Valley International Students / Boek Gebonden (paperback)
common.buy 9.92 €
The Wright Brothers and Other Pioneers of Flight Ole Steen Hansen / Boek Gebonden (harde band)
common.buy 27.54 €
A Library Primer John Cotton Dana / Boek Gebonden (paperback)
common.buy 8.60 €
Joseph: God's Loyal Leader Nancy Davis Peele / Boek Gebonden (paperback)
common.buy 10.32 €
Black Community Uplift and the Myth of the American Dream Lori Latrice Martin / Boek Gebonden (harde band)
common.buy 123.76 €
Gap-Toothed Girl: The story of a little Lakota runaway seeking balance in ballet Ray Harvey / Boek Gebonden (paperback)
common.buy 8.80 €
Only One: The Door of Hope Diana Stroh / Boek Gebonden (paperback)
common.buy 13.87 €
Systema Awareness Training ROBERT POYTON / Boek Gebonden (paperback)
common.buy 16.60 €
TOP
Greatest Demon Lord Is Reborn as a Typical Nobody, Vol. 3 (light novel) Jessica Lange / Boek Gebonden (paperback)
common.buy 12.14 €
Lizards Calendar 2019: 16 Month Calendar Mason Landon / Boek Gebonden (paperback)
common.buy 10.32 €
Diary Of Thomas Bellingham, An Officer Under William III (1908) Anthony Hewitson / Boek Gebonden (paperback)
common.buy 26.93 €

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?