Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Automatic Verification Methods for Finite State Systems

Name: Automatic Verification Methods for Finite State Systems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01565264
Price: 53.79 EUR
Availability: InStock
Author: Joseph Sifakis
ISBN: 9783540521488

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

Joseph Sifakis

Sprache

Englisch

Buch Broschur

Libristo-Code: 01565264

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Jänner 1990

This volume contains the proceedings of a workshop held in Grenoble in June 1989. This was the first... Vollständige Beschreibung

Libristo-Code: 01565264

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Einführung in das Zivilrecht Martin Löhnig

Broschur

25.00 €

Le grec en 15 leçons Menu

Broschur

24.79 €

Černé barety Jaroslav Holík

Broschur

5.69 €

Hasičské auto

Buch

16.09 €

Projeto de um controlador de energia solar de 125V para radiaç?o solar insuficiente Rafiqul Islam

Broschur

33.59 €

Der Vorleser Bernhard Schlink

Hardcover

15.00 €

Frühling - Das Geheimnis vom Rabenkopf Natalie Scharf

DVD

18.49 €

Ally nella tempesta - Sette sorelle Lucinda Riley

Broschur

22.29 €

El arte de la guerra (Pocket) Tzu Sun

Broschur

10.09 €

Production de notations jeune enfant Ferreiro

Broschur

30.39 €

G. P. Telemann. 12 Fantaisies pour violon seul

Blatt

25.99 €

Masterchef- toutes les techniques du sucré Christophe Dovergne

Broschur

23.49 €

Competencia psicologica de um professor no desenvolvimento da criatividade dos alunos Natalia Afanasieva

Broschur

63.39 €

Conan z Cimmerie Robert Ervin Howard

Audio CD

13.09 €

Гостиничный менеджмент (для бак).Уч пос.3изд

Broschur

57.89 €

Mito y política en la historiografía del Próximo Oriente antiguo Mario Liverani

Broschur

24.99 €

Na lovu kozorožce Ondřej Kříženecký

Hardcover

8.09 €

Zur Zulässigkeit des Teilurteils gem. 301 ZPO. Oleg de Lousanoff

Broschur

49.90 €

Rückwärts schlüpft er aus dem Ei Erika Beltle

Hardcover

10.00 €

Essays zu Kunst und Literatur Arthur Holitscher

Broschur

9.90 €

neue Isar (Band 4) Ralf Sartori

Broschur

19.90 €

Richard Neutra. Mobel Furniture: Der Korper und die Sinne / the Body and Senses Barbara Lamprecht

Broschur

29.39 €

Poésies: Poeme De La Religion, De La Grace, Odes Sacrées Louis Racine

Broschur

27.89 €

Geschichte Der Staatsveränderungen Von Dännemark: Aus Dem Englischen Übersezt, Volume 1... John Andrews

Broschur

35.99 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Automatic Verification Methods for Finite State Systems

Autor Joseph Sifakis

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 1990

Anzahl der Seiten 384

EAN 9783540521488

ISBN 3540521488

Libristo-Code 01565264

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 1230

Abmessungen 155 x 233 x 22

Kategorie

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz > Wissensbasierte Systeme, Expertensysteme

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Systemanalyse und -design

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert