SULJE VALIKKO

avaa valikko

Joost-Pieter Katoen | Akateeminen Kirjakauppa

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



Tools and Algorithms for the Construction and Analysis of Systems - 8th International Conference, TACAS 2002, Held as Part of th
Joost-Pieter Katoen; Perdita Stevens
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2002)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
CONCUR 2011 -- Concurrency Theory - 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceeding
Joost-Pieter Katoen; Barbara König
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2011)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Joost-Pieter Katoen; Rom Langerak; Arend Rensink
Springer International Publishing AG (2017)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Principles of Model Checking
Christel Baier; Joost-Pieter Katoen
MIT Press Ltd (2008)
Kovakantinen kirja
84,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Model-Based Testing of Reactive Systems - Advanced Lectures
Manfred Broy; Bengt Jonsson; Joost-Pieter Katoen; Martin Leucker; Alexander Pretschner
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2005)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Lectures on Formal Methods and Performance Analysis - First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, Th
Ed Brinksma; Holger Hermanns; Joost-Pieter Katoen
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2001)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Validation of Stochastic Systems - A Guide to Current Research
Christel Baier; Boudewijn R. Haverkort; Holger Hermanns; Joost-Pieter Katoen; Markus Siegle
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2004)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Dependable Software Engineering. Theories, Tools, and Applications - 5th International Symposium, SETTA 2019, Shanghai, China, N
Nan Guan; Joost-Pieter Katoen; Jun Sun
Springer Nature Switzerland AG (2019)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Foundations of Probabilistic Programming
Gilles Barthe; Joost-Pieter Katoen; Alexandra Silva
Cambridge University Press (2020)
Kovakantinen kirja
70,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Methods : 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings
Marsha Chechik (ed.); Joost-Pieter Katoen (ed.); Martin Leucker (ed.)
Springer (2023)
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Tools and Algorithms for the Construction and Analysis of Systems - 8th International Conference, TACAS 2002, Held as Part of th
49,60 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 486 sivua
Asu: Pehmeäkantinen kirja
Painos: 2002 ed.
Julkaisuvuosi: 2002, 20.03.2002 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 2280
ETAPS 2002 was the ?fth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998by combining a number of existing and new conferences. This year it comprised 5 conferences (FOSSACS, FASE, ESOP, CC, TACAS), 13 satellite workshops (ACL2, AGT, CMCS, COCV, DCC, INT, LDTA, SC, SFEDL, SLAP, SPIN, TPTS, and VISS), 8invited lectures (not including those speci?c to the satellite events), and several tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Tools and Algorithms for the Construction and Analysis of Systems - 8th International Conference, TACAS 2002, Held as Part of thzoom
Näytä kaikki tuotetiedot
ISBN:
9783540434191
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste