Formal Development of Reactive Systems : Case Study Production Cell

>> Amazon.co.jp

このページのQRコード

Formal Development of Reactive Systems : Case Study Production Cell

種類:

電子ブック

責任表示:

edited by Claus Lewerentz, Thomas Lindner

出版情報:

Berlin, Heidelberg : Springer-Verlag, 1995

著者名:

シリーズ名:

Lecture Notes in Computer Science ; 891

ISBN:

9783540491330 [3540491333]

ローカル注記:

学内専用E-BOOKS (local access only)

オンライン

http://dx.doi.org/10.1007/3-540-58867-1

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

主題:	Computer Science; Computer-Aided Engineering (CAD, CAE) and Design; Control Engineering; Programming Languages, Compilers, Interpreters; Programming Techniques; Software Engineering; Special Purpose and Application-Based Systems
分類・件名:	LCSH : Computer science LCSH : Software engineering LCSH : Computer aided design FREE : Computer Science FREE : Software Engineering FREE : Special Purpose and Application-Based Systems FREE : Programming Techniques FREE : Programming Languages, Compilers, Interpreters FREE : Computer-Aided Engineering (CAD, CAE) and Design FREE : Control Engineering
TTLL:	eng
言語:	英語
形態:	v.: digital
書誌ID:	KB00006615

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Formal Development of Reactive Systems : Case Study Production Cell Lewerentz, Claus., Lindner, Thomas., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	7 電子ブック High-Performance Computing and Networking : International Conference and Exhibition Munich, Germany, April 18–20, 1994 Proceedings Volume II: Networking and … Gentzsch, Wolfgang, Harms, Uwe, SpringerLink (Online service) Springer-Verlag
2 電子ブック Parallel, Distributed and Multiagent Production Systems Ishida, Toru, SpringerLink (Online service) Springer-Verlag	8 電子ブック Software Engineering — ESEC '95 : 5th European Software Engineering Conference Sitges, Spain, September 25–28, 1995 Proceedings Schäfer, Wilhelm, Botella, Pere, SpringerLink (Online service) Springer-Verlag
3 電子ブック Ada in Europe : First International Eurospace-Ada-Europe Symposium Copenhagen, Denmark, September 26–30, 1994 Proceedings Toussaint, Marcel, SpringerLink (Online service) Springer-Verlag	9 電子ブック A Decade of Concurrency Reflections and Perspectives : REX School/Symposium Noordwijkerhout, The Netherlands June 1–4, 1993 Proceedings Bakker, J. W., Roever, W. -P, Rozenberg, G., SpringerLink (Online service) Springer-Verlag
4 電子ブック Reliable Software Technologies — Ada-Europe '96 : 1996 Ada-Europe International Conference on Reliable Software Technologies Montreux, Switzerland, June … Strohmeier, Alfred, SpringerLink (Online service) Springer-Verlag	10 電子ブック Attribute Grammars, Applications and Systems : International Summer School SAGA Prague, Czechoslovakia, June 4–13, 1991 Proceedings Alblas, Henk, Melichar, Bořivoj, SpringerLink (Online service) Springer-Verlag
5 電子ブック Ada in Europe : Second International Eurospace — Ada-Europe Symposium Frankfurt/Main, Germany, October 2–6, 1995 Proceedings Toussaint, Marcel, SpringerLink (Online service) Springer-Verlag	11 電子ブック The Generic Development Language Deva : Presentation and Case Studies Weber, Matthias, Simons, Martin, Lafontaine, Christine, SpringerLink (Online service) Springer-Verlag
6 電子ブック High-Performance Computing and Networking : International Conference and Exhibition Munich, Germany, April 18–20, 1994 Proceedings, Volume I: Applications Gentzsch, Wolfgang, Harms, Uwe, SpringerLink (Online service) Springer-Verlag	12 電子ブック Formal Methods for Industrial Applications : Specifying and Programming the Steam Boiler Control Abrial, Jean-Raymond, Börger, Egon, Langmaack, Hans, SpringerLink (Online service) Springer-Verlag