478 Seiten Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich neben dem R�ckenschild lediglich ein Bibliotheksstempel im Buch; ordnungsgem�� entwidmet. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 910.

N� de ref. del art�culo 2131699

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare NATO ASI Subseries F:, 55

Editor

Springer

Fecha de publicaci�n

1989

Idioma

Ingl�s

ISBN 10

3540513698

ISBN 13

9783540513698

Encuadernaci�n

gebundene Ausgabe

Estado

Gut

Peso

910 gramos

Cat�logos de vendedores

202 Informatik & EDV

Acerca de

Sinopsis

Computing Science is a science of constructive methods. The solution of a problem has to be described formally by constructive techniques, if it is to be evaluated on a computer. The Marktoberdorf Advanced Study Institute 1988 presented a comprehensive survey of the recent research in constructive methods in Computing Science. Some approaches to a methodological framework and to supporting tools for specification, development and verification of software systems were discussed in detail. Other lectures dealt with the relevance of the foundations of logic for questions of program construction and with new programming paradigms and formalisms which have proven to be useful for a constructive approach to software development. The construction, specification, design and verification especially of distributed and communicating systems was discussed in a number of complementary lectures. Examples for those approaches were given on several levels such as semaphores, nondeterministic state transition systems with fairness assumptions, decomposition of specifications for concurrent systems in liveness and safety properties and functional specifications of distributed systems. Construction methods in programming that were presented range from type theory, the theory of evidence, theorem provers for proving properties of functional programs to category theory as an abstract and general concept for the description of programming paradigms.

Rese�a del editor

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Versandantiquariat Petra Gros GmbH & Co. KG
Am Sonnenhang 18, Welling, 56753, Germany

Condiciones de venta y env�o

Condiciones de venta

Allgemeine Gesch�ftsbedingungen

Allgemeines - Geltungsbereich
1.1. Die folgenden Allgemeinen Gesch�ftsbedingungen gelten f�r alle Gesch�ftsbeziehungen zwischen uns und unseren Kunden. Ma�geblich ist jeweils die zum Zeitpunkt des Vertragsschlusses g�ltige Fassung.
1.2. Verbraucher i. S. d. Gesch�ftsbedingungen sind nat�rliche Personen, mit denen wir in Gesch�ftsbeziehung treten, ohne dass diesen eine gewerbliche oder selbst�ndige berufliche T�tigkeit zugerechnet werden kann. Unternehmer i. S. d....

M�s informaci�n

Derecho a cancelaci�n

Condiciones de env�o

Die Ware wird in der Regel innerhalb von 1-3 Tagen nach Bestelleingang verschickt. Bitte entnehmen Sie den voraussichtlichen Liefertermin Ihrer Bestellbest�tigung. Die Versandkostenpauschalen sind f�r K�ufer und Verk�ufer bindend.

Tarifas de env�o de Alemania a Espa�a

Tarifas de env�o de Alemania a Espa�a
Cantidad del pedido	De 4 a 10 d�as h�biles	De 3 a 6 d�as h�biles
Primer art�culo	EUR 9.95	EUR 16.95

Los plazos de entrega los establecen los vendedores y var�an seg�n el transportista y la ubicaci�n. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relaci�n con cargos adicionales para cubrir cualquier aumento en los costes de env�o de los art�culos.