>> Google Books
所蔵情報QRコード

Abstract state machines : a method for high-level system design and analysis / Egon Börger ; Robert Stärk

資料種別:
電子ブック
出版情報:
Berlin : Springer, [20--]
形態:
1 online resource (x, 438 p.)
著者名:
ISBN:
9783642182167 [364218216X] (: electronic bk)
書誌ID:
TT00017773
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

1 電子ブック Abstract State Machines 2003

ASM 2003, Börger, Egon, Gargantini, Angelo, Riccobene, Elvinia

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
7 図書 Computability, complexity, logic

Börger, Egon, 1946-

North-Holland, Distributors for U.S.A. and Canada, Elsevier Science Publishing Company, Inc.
2 図書 Abstract state machines 2003 : advances in theory and practice : 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003 : proceedings

ASM, Börger, E. (Egon), 1946-, Gargantini, Angelo, 1969-, Riccobene, Elvinia, 1964-

Springer
8 図書 Formal methods for industrial applications : specifying and programming the steam boiler control

Abrial, Jean-Raymond, Börger, Egon, 1946-, Langmaack, Hans

Springer
3 電子ブック Abstract State Machines, B and Z

Börger, Egon, Boca, Paul, Bowen, Jonathan P., Butler, Michael, Kanade, Takeo

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
9 図書 The art of software thermal management for embedded systems

Benson, Mark

Springer
4 電子ブック Abstract State Machines, B and Z

B?rger, Egon, Boca, Paul, Bowen, Jonathan P., Butler, Michael, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg
10 図書 Mathematical foundations for design : civil engineering systems

Stark, Robert M., 1930-, Nicholls, Robert L.

McGraw-Hill
5 図書 Computation theory and logic (: gw ; : us)

Börger, Egon, 1946-

Springer-Verlag
11 図書 Logic and machines : decision problems and complexity : proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für … (: gw ; : us)

Symposium "Rekursive Kombinatorik", Börger, Egon, 1946-, Hasenjaeger, G. (Gisbert), 1919-, Rödding, D. (Dieter), 1937-

Springer-Verlag
6 図書 Trends in theoretical computer science

Börger, Egon, 1946-

Computer Science Press
12 図書 Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings (: gw ; : us)

Workshop on Computer Science Logic, Börger, Egon, 1946-

Springer-Verlag
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12