Logic of programming and calculi of discrete design International Summer School directed by F.L. Bauer ... [et al.] edited by Manfred Broy

Contributor(s):

Series: NATO ASI seriesPublication details: Berlin New York Springer-Verlag c1987Description: 413 p ill 25 cmISBN:

0387180036 (U.S.)

Subject(s):

DDC classification:

005.13/1

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

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Carti	IMAR	II 31384 (Browse shelf(Opens below))	Available		0006106

Browsing IMAR shelves Close shelf browser (Hides shelf browser)

Previous			No cover image available			No cover image available		Next
Previous	II 31381 Etale cohomology and the Weil conjecture	II 31382 Trends in applications of pure mathematics to mechanics proceedings of the Sixth Symposium on Trends in Applications of Pure Mathematics to Mechanics, held at the Physikzentrum of the German Physical Society, Bad Honnef, October 21-25, 1985	II 31383 Interpoliatsiia i approksimatsiia radional'nymi funktsiami v kompleksnoj oblasti	II 31384 Logic of programming and calculi of discrete design International Summer School directed by F.L. Bauer ... [et al.]	II 31385 Dynamical problems in continuum physics	II 31387 Aplicatii ale algebrei si geometriei in teoria spinorilor	II 31388 Aplicatii ale teoriei ergodice	Next

"Published in cooperation with NATO Scientific Affairs Division."

"Proceedings of the NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design held in Marktoberdorf, Federal Republic of Germany, July 29 - August 10, 1986"--Verso t.p

Cuprinde bibliografie

There are no comments on this title.

to post a comment.