Transformation-Based Reactive Systems Development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings

>> Google Books

Transformation-Based Reactive Systems Development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings / edited by Miquel Bertran, Teodor Rus

版:

1st ed. 1997

資料種別:

電子ブック

形態:

XI, 436 p.

シリーズ名:

Lecture Notes in Computer Science ; 1231

著者名:

ISBN:

9783540690580 [3540690581]
9783662196694 [3662196697]
9783540630104 [3540630104]

書誌ID:

EB00003434

子書誌情報

フルテキスト

所蔵情報

書誌詳細

注記:

This book constitutes the refereed proceedings of the Fourth International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, held in Palma de Mallorca, Spain, in May 1997. The volume presents 24 carefully selected revised full papers. Also included are two historical contributions honoring Ramon Llull, who was born on Mallorca, as well as two invited papers. All current issues in the field of formal methods for real-time systems and distributed and concurrent systems are addressed.

主題:

Computer Communication Networks; Programming Techniques; Software Engineering; Special Purpose and Application-Based Systems; Theory of Computation

目次情報:

ブックレビュー

類似資料:

1 図書 Transformation-based reactive systems development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, … International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, Bertran, Miquel, Rus, Teodor Springer	7 電子ブック Distributed Algorithms : 11th International Workshop, WDAG '97, Saarbrücken, Germany, September 24-26, 1997, Proceedings Mavronicolas, Marios., Tsigas, Philippas., SpringerLink (Online service)
2 電子ブック Formal Methods for Real-Time and Probabilistic Systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings Katoen, Jost-Pieter., SpringerLink (Online service)	8 電子ブック Transformation-Based Reactive Systems Development International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, Bertran, Miquel, Rus, Teodor, … SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
3 電子ブック Principles of Distributed Systems : 7th International Conference, OPODIS 2003, La Martinique, French West Indies, December 10-13, 2003, Revised Selected Papers Papatriantafilou, Marina., Hunel, Philippe., SpringerLink (Online service)	9 電子ブック Reliable Software Technologies - Ada-Europe '97 : 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997. … Hardy, Keith., Briggs, Jim., SpringerLink (Online service)
4 電子ブック Reliable Software Technologies - Ada-Europe 2004 : 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June … Llamosi, Albert., Strohmeier, Alfred., SpringerLink (Online service)	10 電子ブック Principles of Distributed Systems : 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers Higashino, Teruo., SpringerLink (Online service)
5 電子ブック Hybrid and Real-Time Systems : International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings Maler, Oded., SpringerLink (Online service)	11 電子ブック Self-Stabilizing Systems : 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005 Tixeuil, Sébastien., Herman, Ted., SpringerLink (Online service)
6 電子ブック Formal Methods for the Design of Real-Time Systems : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, … Bernardo, Marco., Corradini, Flavio., SpringerLink (Online service)	12 電子ブック Algebraic Methodology and Software Technology : 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings Rus, Teodor., SpringerLink (Online service)

1

2

3

4

5

6

7

8

9

10

11

12