Tools and Algorithms for the Construction and Analysis of Systems : Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings

>> Google Books

Tools and Algorithms for the Construction and Analysis of Systems : Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings / edited by Tiziana Margaria, Bernhard Steffen

版:

1st ed. 1996

資料種別:

電子ブック

形態:

XIII, 443 p.

シリーズ名:

Lecture Notes in Computer Science ; 1055

著者名:

ISBN:

9783540498742 [3540498745]
9783662187029 [3662187027]
9783540610427 [3540610421]

書誌ID:

EB00003255

子書誌情報

フルテキスト

所蔵情報

書誌詳細

注記:

This book presents the refereed proceedings of the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '96, held in Passau, Germany in March 1996. The book presents 19 revised full papers selected from a total of 47 submissions together with 11 tool presentations and 3 invited papers. The collection of papers addresses all current aspects of the design and analysis of distributed systems; the volume is organized in topical sections on tools, model checking and testing, security, models and methods, case studies, and logic and programs.

主題:

Computer Communication Networks; Computer Science Logic and Foundations of Programming; Operating Systems; Software Engineering; Theory of Computation

目次情報:

ブックレビュー

類似資料:

1 電子ブック Tools and Algorithms for the Construction and Analysis of Systems : First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers Brinksma, Ed., Cleaveland, W. Rance., Larsen, Kim G., Margaria, Tiziana., Steffen, Bernhard., SpringerLink (Online …	7 電子ブック Tools and Algorithms for the Construction and Analysis of Systems : 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on … Garavel, Hubert., Hatcliff, John., SpringerLink (Online service)
2 電子ブック Tools and Algorithms for the Construction and Analysis of Systems : 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on … Steffen, Bernhard., SpringerLink (Online service)	8 電子ブック Tools and Algorithms for the Construction and Analysis of Systems : 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on … Katoen, Joost-Pieter., Stevens, Perdita., SpringerLink (Online service)
3 図書 Tools and algorithms for the construction and analysis of systems : Second International Workshop, TACAS '96, Passau, Germany, March 27-29, 1996 : proceedings TACAS, Margaria, Tiziana, Steffen, Bernhard Springer	9 電子ブック Tools and Algorithms for the Construction and Analysis of Systems : 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on … Graf, Susanne., Schwartzbach, Michael., SpringerLink (Online service)
4 電子ブック Tools and Algorithms for the Construction and Analysis of Systems : 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on … Margaria, Tiziana., Yi, Wang., SpringerLink (Online service)	10 電子ブック Tools and Algorithms for the Construction and Analysis of Systems : 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on … Jensen, Kurt., Podelski, Andreas., SpringerLink (Online service)
5 電子ブック Tools and Algorithms for the Construction of Analysis of Systems : 5th International Conference, TACAS'99, Held as Part of the Joint European Conferences on … Cleaveland, W. Rance., SpringerLink (Online service)	11 電子ブック Distributed Algorithms : 10th International Workshop, WDAG '96, Bologna, Italy, October 9 - 11, 1996. Proceedings Babaoglu, Özalp., Marzullo, Keith., SpringerLink (Online service)
6 電子ブック Tools and Algorithms for the Construction and Analysis of Systems : Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, … Brinksma, Ed., SpringerLink (Online service)	12 電子ブック Tools and Algorithms for the Construction and Analysis of Systems : 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on … Halbwachs, Nicolas., Zuck, Lenore., SpringerLink (Online service)

1

2

3

4

5

6

7

8

9

10

11

12