10 treff

Dewey-nr: 004.2/1
Smart systems design, applications, and challenges
João M.F. Rodrigues, Pedro J.S. Cardoso,...
Bok Engelsk 2020 · Vis mer
Verification of reactive systems : formal methods and algorithms
Klaus Schneider
Bok Engelsk 2004 · Vis mer
Tools and algorithms for the construction and analysis of systems : 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings
TACAS 2002
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Tools and algorithms for the construction and analysis of systems : 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings
TACAS 2000
Bok Engelsk 2000 · Vis mer
Correct system design : recent insights and advances
Ernst-Rüdiger Olderog, Bernhard Steffen (...
Bok Engelsk 1999 · Vis mer
Tools and algorithms for the construction and analysis of systems : 5th international conference, TACAS'99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings
TACAS '99
Bok Engelsk 1999 · Vis mer
Tools and algorithms for the construction and analysis of systems : 4th international conference, TACAS '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceeding
TACAS '98
Bok Engelsk 1998 · Vis mer
High availability : design, techniques, and processes
Piedad, Floyd
Bok Engelsk 2001 · Vis mer
Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997 : proceedings
TACAS '97
Bok Engelsk 1997 · Vis mer
Structured Analysis and design of information systems
A. Ziya Aktas
Bok Språk ikke angitt 1987 · Vis mer