Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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

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

Joseph Sifakis

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01565264

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, január 1990

This volume contains the proceedings of a workshop held in Grenoble in June 1989. This was the first... Celý popis

Libristo kód: 01565264

125 b

51.59 €

Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Frühling - Das Geheimnis vom Rabenkopf Natalie Scharf

DVD

17.86 €

Le grec en 15 leçons Menu

Brožovaná

24.02 €

Černé barety Jaroslav Holík

Brožovaná

4.23 €

Der Vorleser Bernhard Schlink

Pevná

13.52 €

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

Brožovaná

32.00 €

Hasičské auto

Kniha

11.70 €

Masterchef- toutes les techniques du sucré Christophe Dovergne

Brožovaná

22.81 €

Einführung in das Zivilrecht Martin Löhnig

Brožovaná

23.72 €

El arte de la guerra (Pocket) Tzu Sun

Brožovaná

9.68 €

Conan z Cimmerie Robert Ervin Howard

Audio CD

12.11 €

G. P. Telemann. 12 Fantaisies pour violon seul

List

25.13 €

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

Brožovaná

55.32 €

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

Brožovaná

60.47 €

Ally nella tempesta - Sette sorelle Lucinda Riley

Brožovaná

21.40 €

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

Brožovaná

24.12 €

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

Pevná

7.87 €

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

Brožovaná

47.04 €

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

Pevná

8.77 €

Essays zu Kunst und Literatur Arthur Holitscher

Brožovaná

8.98 €

neue Isar (Band 4) Ralf Sartori

Brožovaná

17.86 €

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

Brožovaná

25.54 €

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

Brožovaná

24.63 €

Aves Maurice Duperat

Brožovaná

13.12 €

A orillas del Estado Francisco Tomás y Valiente

Brožovaná

23.62 €

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.