Amazon cover image

Image from Amazon.com

Normal view MARC view ISBD view

Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan.

By:

Huth, Michael, 1962-

Contributor(s):

Ryan, Mark, 1962-

Material type: Text

Text

TextPublication details: Cambridge [U.K.] : Cambridge University Press, 2004.Edition: 2nd edDescription: xiv, 427 p. : ill. ; 25 cmISBN:

052154310X (pbk.)
9780521543101

Subject(s):

DDC classification:

005.101 22

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

No physical items for this record

Includes bibliographical references (p. 414-417) and index.

There are no comments on this title.

to post a comment.

Previous

Back to results

Next

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

1 Formalisierte Modelle in der Soziologie.
by Mayntz, Renate,
2 Hunderherz /
by Bulgakov, Mikhail Afanas'evich,
3 Der eindimensionale Mensch :
by Marcuse, Herbert,
4 Tagebuch einer Entziehung /
by Frick, Hans,
5 Die fruhen Erzahlungen :
by Edschmid, Kasimir,
6 Deutsche Essays :
by Rohner, Ludwig
7 Die neuere franzosische Soziologie : / b Ansatze zu einer Standortbe stimmung der Soziologie /
by Gugler, Josef.
8 Die Theorie des Romans; en geschichsphilosophischer Versuch uber die Formen der grossen Epik /
by Lukacs, GyoÌrgy,
9 Theaterspiele /
by Grass, Gèunter,
10 Viele sind wir; spate Lyrik von "Extratouren" bis "Memorial von Isla Negra". Hrsg., ubertragen [aus dem Spanischen] und eingeleitet von Eri ch Arendt. /
by Neruda, Pablo.
11 Uber das selbstrverstandliche :
by Grass, Gunter,
12 Ortlich betaubt :
by Grass, Gunter,
13 Kindergeschichten /
by Bichsel, Peter
14 Aufstand der Fischer von St. Barbara. Die Gefahrten. Das wirkilince Blau /
by Radvanyi, Netty
15 Aufstellen eines maschinengewehrs in wohnzimmer der Frau Kamptschik :
by Radvanyi, Netty R.
16 Die Hauptprobe :
by Nossack, Hans Erich,
17 Kindergeschichten /
by Bichsel, Peter
18 Aufstand der Fischer von St. Barbara. Die Gefahrten. Das wirkilince Blau /
by Radvanyi, Netty
19 Aufstellen eines maschinengewehrs in wohnzimmer der Frau Kamptschik :
by Radvanyi, Netty R.
20 Die Hauptprobe :
by Nossack, Hans Erich,

Close

Share