" Katoen J." скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Principles of Model Checking

Christel Baier, Joost-Pieter Katoen

4.40 Mb

#2

Principles of Model Checking

Christel Baier, Joost-Pieter Katoen

5.15 Mb

#3

Principles of Model Checking

Baier C., Katoen J.

Категория: Cs_Computer science, CsAl_Algorithms

4.34 Mb

#4

CONCUR 2011 -- Concurrency Theory

Joost-Pieter Katoen, Barbara König

5.82 Mb

#5

Tools and Algorithms for the Construction and Analysis of Systems, 8 conf., TACAS 2002

Joost-Pieter Katoen, Perdita Stevens

Категория: Cs_Computer science, CsLn_Lecture notes

3.37 Mb

#6

Lectures on Formal Methods and Performance Analysis, 1 school, 2000

Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen

Категория: Cs_Computer science, CsLn_Lecture notes

3.80 Mb

#7

Model-Based Testing of Reactive Systems, Advanced Lectures 2004

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner

Категория: CsLn_

5.87 Mb

#8

Validation of Stochastic Systems - A Guide to Current Research

Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle

Категория: CsLn_

5.22 Mb

#9

Principles of Model Checking

Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen

Категория: Computer science

17.08 Mb

#10

Model-Based Testing of Reactive Systems: Advanced Lectures

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner

5.92 Mb

#11

Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings: ... - Proceedings 5th

Jost-Pieter Katoen

3.58 Mb