Nondeterminism in algebraic specifications and algebraic programs | 三重大学附属図書館 OPAC

>> Google Books

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

Nondeterminism in algebraic specifications and algebraic programs

フォーマット:: 図書
責任表示:: Heinrich Hussmann
言語:: 英語
出版情報:: Boston : Birkhäuser, c1993
形態:: vii, 253 p. ; 25 cm
著者名:: Hussmann, Heinrich <DA07329412>
シリーズ名:: Progress in theoretical computer science <BA1282110X>
書誌ID:: BA20052077
ISBN:: 9780817637002 [0817637001]
9783764337001 [3764337001]

子書誌情報

所蔵情報

Loading availability information

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

詳細

資料形態(詳細):	Text
主題:	Computer science--Mathematics
LCCN:	93009340
注記:	Includes bibliographical references (p. [205]-214)
登録日:	1996-11-27
分類・件名:	LCC : QA76.9.M35 DDC : 005.13/1 LCSH : Computer science -- Mathematics

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Modern computer algebra Zur Gathen, Joachim von, Gerhard, Jürgen Cambridge University Press	7 図書《UML》 2002 - the Unified Modeling Language : model engineering, concepts, and tools : 5th International Conference, Dresden, Germany, September 30 - October … UML, Jézéquel, Jean-Marc, 1964-, Hussmann, Heinrich, Cook, Stephen, 1948- Springer
2 図書 Formal foundations for software engineering methods Hussmann, Heinrich Springer	8 図書 Schaum's outline of discrete mathematics Lipschutz, Seymour, Lipson, Marc Lars McGraw-Hill
3 図書 Sets and numbers, graphs and algebra, logic and machines, linear geometry Mazzola, G. (Guerino), Milmeister, Gérard, Weissmann, Jody Springer	9 図書 Randomness and completeness in computational complexity Melkebeek, Dieter van Springer-Verlag
4 図書 Abstraction and specification in program development Liskov, B., Guttag, John MIT Press, McGraw-Hill	10 図書 Automata logics, and infinite games : a guide to current research Grädel, Erich, 1958-, Thomas, Wolfgang, 1947-, Wilke, Thomas, 1965- Springer
5 図書 Algebraic specification of communication protocols Mauw, S, Veltink, G. J Cambridge University Press	11 図書 Discrete mathematics demystified Krantz, Steven G. (Steven George), 1951- McGraw-Hill
6 図書 Fundamental approaches to software engineering : 4th International Conference, FASE 2001, held as part of the Joint European Conferences on Theory and Practice … FASE, Hussmann, Heinrich, European Conferences on Theory and Practice of Software Springer	12 図書 Alan Turing : his work and impact Turing, Alan Mathison, 1912-1954, Cooper, S. B. (S. Barry), Leeuwen, Jan van Elsevier