Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

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: 219.15 PLN
Availability: InStock
Author: Joseph Sifakis
ISBN: 9783540521488

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

Joseph Sifakis

Język

Angielski

Książka Miękka

Kod Libristo: 01565264

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, styczeń 1990

This volume contains the proceedings of a workshop held in Grenoble in June 1989. This was the first... Cały opis

Kod Libristo: 01565264

125 b

219.15 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Einführung in das Zivilrecht Martin Löhnig

Miękka

100.83 zł

Le grec en 15 leçons Menu

Miękka

102.24 zł

Černé barety Jaroslav Holík

Miękka

21.68 zł

Hasičské auto

Książka

61.36 zł

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

Miękka

136.19 zł

Der Vorleser Bernhard Schlink

Twarda

57.54 zł

Frühling - Das Geheimnis vom Rabenkopf Natalie Scharf

DVD

75.72 zł

Ally nella tempesta - Sette sorelle Lucinda Riley

Miękka

90.79 zł

El arte de la guerra (Pocket) Tzu Sun

Miękka

41.37 zł

Production de notations jeune enfant Ferreiro

Miękka

125.04 zł

G. P. Telemann. 12 Fantaisies pour violon seul

Karta

106.96 zł

Masterchef- toutes les techniques du sucré Christophe Dovergne

Miękka

96.81 zł

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

Miękka

257.01 zł

Conan z Cimmerie Robert Ervin Howard

CD Audio

53.32 zł

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

Miękka

235.22 zł

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

Miękka

102.54 zł

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

Twarda

34.74 zł

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

Miękka

199.86 zł

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

Twarda

37.35 zł

Essays zu Kunst und Literatur Arthur Holitscher

Miękka

38.36 zł

neue Isar (Band 4) Ralf Sartori

Miękka

76.12 zł

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

Miękka

120.11 zł

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

Miękka

114.09 zł

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

Miękka

110.07 zł

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.