SULJE VALIKKO

avaa valikko

Joseph Sifakis | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 6 tuotetta
Haluatko tarkentaa hakukriteerejä?



Automatic Verification Methods for Finite State Systems - International Workshop, Grenoble, France. June 12-14, 1989. Proceeding
Joseph Sifakis
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1990)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Rigorous System Design
Joseph Sifakis
now publishers Inc (2013)
Pehmeäkantinen kirja
62,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Understanding and Changing the World - From Information to Knowledge and Intelligence
Joseph Sifakis
Springer Verlag, Singapore (2022)
Kovakantinen kirja
42,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Understanding and Changing the World : From Information to Knowledge and Intelligence
Joseph Sifakis
Springer (2023)
Pehmeäkantinen kirja
42,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Embedded Systems Design - The ARTIST Roadmap for Research and Development
Bruno Bouyssounouse; Joseph Sifakis
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2005)
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Embedded Software - Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings
Alberto Sangiovanni-Vincentelli; Joseph Sifakis
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2002)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Automatic Verification Methods for Finite State Systems - International Workshop, Grenoble, France. June 12-14, 1989. Proceeding
49,60 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 384 sivua
Asu: Pehmeäkantinen kirja
Painos: 1990
Julkaisuvuosi: 1990, 10.01.1990 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 407
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.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Automatic Verification Methods for Finite State Systems - International Workshop, Grenoble, France. June 12-14, 1989. Proceedingzoom
Näytä kaikki tuotetiedot
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste