The calculus of computation : decision procedures with applications to verification | 岐阜大学図書館蔵書検索（OPAC）

>> Amazon.co.jp

このページのQRコード

The calculus of computation : decision procedures with applications to verification

種類:

図書

責任表示:

Aaron R. Bradley, Zohar Manna

出版情報:

Berlin : Springer, c2007

著者名:

ISBN:

9783540741121 [3540741127]

注記:

Includes bibliographical references and index

所蔵情報

Loading availability information

子書誌情報

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

詳細

主題:	総記--情報学．情報科学
LCCN:	2007932679
TTLL:	eng
言語:	英語
形態:	xv, 366 p. ; 24 cm
書誌ID:	BA83100301

内容紹介

Loading contents information

目次情報

Loading contents information

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Mathematical theory of computation Manna, Zohar McGraw-Hill Kogakusha	7 図書 Verification, model checking, and abstract interpretation : 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings VMCAI, Zuck, Lenore D., Attie, Paul C., Cortesi, Agostino, Mukhopadhyay, Supratik Springer
2 図書 Temporal verification of reactive systems : safety Manna, Zohar, Pnueli, A. (Amir) Springer-Verlag	8 図書 Verification, model checking, and abstract interpretation : third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers VMCAI, Cortesi, Agostino Springer
3 図書 Computational discrete mathematics : advanced lectures Alt, Helmut Springer	9 図書 AN INTRODUCTION TO ERROR CORRECTING CODES WITH APPLICATIONS VANSTONE, SCOTT A., VAN OORSCHOT, PAUL C. KLUWER ACADMEIC PUB.
4 図書 Applications track International Joint Conference on Neural Networks Lawrence Erlbaum Associates, Pub.	10 図書 Optimal interprocedural program optimizationn : a new framework and its application Knoop, Jens Springer
5 図書 Process algebra and probabilistic methods : performance modelling and verification : Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September … Process Algebras and Performance Modeling Workshop, Probabilistic Methods in Verification, Alfaro, Luca de, Gilmore, … Springer	11 図書 Foundations of software science and computation structures : third International Conference, FOSSACS 2000, held as part of the joint European Conferences on … FOSSACS, Tiuryn, Jerzy Springer
6 図書 Modeling and verification of parallel processes : 4th summer school, MOVEP 2000, Nantes, France, June 19-23, 2000 : revised tutorial lectures Cassez, Franck, Jard, Claude, Rozoy, Brigitte, Ryan, Mark Dermot Springer	12 図書 Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information, ESSLLI '97 Workshop, Aix-en-Provence, France, August … European Summer School in Logic, Language, and Information, Väänänen, J. (Jouko), 1950- Springer