>> Google Books
タイトル、所在を表示します

Abstract state machines : a method for high-level system design and analysis

フォーマット:
図書
責任表示:
Egon Börger, Robert Stärk
言語:
英語
出版情報:
Berlin ; Tokyo : Springer, c2003
形態:
x, 438 p. ; 24 cm.
著者名:
書誌ID:
BA62261936
ISBN:
9783540007029 [3540007024]
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Systems analysis, Systems Design

Mason, David, 1948-, Willcocks, Leslie

A. Waller
7 図書 Abstract systems theory

Mesarović, Mihajlo D., 高原, 康彦(1935- 経営工学)

Springer-Verlag
2 図書 A guide to algorithm design : paradigms, methods, and complexity analysis

Benoit, Anne, Rober, Yves, Vivien, Frederic

CRC Press, Taylor & Francis Group
8 図書 Mathematical foundations for design : civil engineering systems

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

McGraw-Hill
3 図書 Trends in theoretical computer science

Börger, Egon, 1946-

Computer Science Press
9 図書 Abstract computing machines : a lambda calculus perspective

Kluge, Werner

Springer
4 図書 Computation theory and logic

Börger, Egon, 1946-

Springer-Verlag
10 図書 Object-oriented analysis and design

Ramnath, Sarnath, Dathan, Brahma

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

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

Springer
11 図書 Algorithms : design techniques and analysis

Alsuwaiyel, M. H

World Scientific
6 図書 Proceedings of the sixth workshop on algorithm engineering and experiments and the first workshop on analytic algorithmics and combinatorics

Arge, Lars, Italiano, Giuseppe F., Sedgewick, Robert, 1946-

Society for Industrial and Applied Mathematics
12 図書 Design and analysis of randomized algorithms : Introduction to Design Paradigms

Hromkovic̆, Juraj, 1958-

Springer