Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22-26, 1985

ISBN 10: 3540164448 ISBN 13: 9783540164449

Editorial: Springer, 1986

Nuevos Encuadernaci�n de tapa blanda

Librer�a: Ria Christie Collections, Uxbridge, Reino Unido Calificaci�n del vendedor: 5 de 5 estrellas

Vendedor de AbeBooks desde 25 de marzo de 2015

Este art�culo en concreto ya no est� disponible.

Ver los art�culos de este vendedor Crear una petici�n para art�culos similares

Ver todos los ejemplares de este libro

Descripci�n

In. N� de ref. del art�culo ria9783540164449_new

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: Mathematical Methods of Specification and ...
Editorial: Springer
A�o de publicaci�n: 1986
Encuadernaci�n: Encuadernaci�n de tapa blanda
Condici�n: New

Los mejores resultados en AbeBooks

Imagen de archivo

Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School Wendisch-rietz,

Klaus P. Jantke et Wolfgang Bibel

Publicado por Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1986

ISBN 10: 3540164448 ISBN 13: 9783540164449

Antiguo o usado Softcover

Librería: Ammareal, Morangis, Francia

Calificaci�n del vendedor: 5 de 5 estrellas

Softcover. Condici�n: Tr�s bon. Ancien livre de biblioth�que. L�g�res traces d'usure sur la couverture. Edition 1986. Ammareal reverse jusqu'� 15% du prix net de cet article � des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Edition 1986. Ammareal gives back up to 15% of this item's net price to charity organizations. N� de ref. del art�culo: D-485-920

Contactar al vendedor

Comprar usado

EUR 8,54

Env�o por EUR 20,50
Se env�a de Francia a Estados Unidos de America

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen de archivo

Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22-26, 1985 (Lecture Notes in Computer Science)

Bibel, Wolfgang [Editor]; Jantke, Klaus P. [Editor];

Publicado por Springer, 1986

ISBN 10: 3540164448 ISBN 13: 9783540164449

Antiguo o usado Paperback

Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

Paperback. Condici�n: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. N� de ref. del art�culo: UTD14a-0636

Contactar al vendedor

Comprar usado

EUR 20,04

Env�o por EUR 5,99
Se env�a dentro de Estados Unidos de America

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen del vendedor

Mathematical Methods of Specification and Synthesis of Software Systems 85

Bibel, Wolfgang|Jantke, Klaus P.

Publicado por Springer Berlin Heidelberg, 1986

ISBN 10: 3540164448 ISBN 13: 9783540164449

Nuevo Tapa blanda

Impresi�n bajo demanda

Librería: moluna, Greven, Alemania

Calificaci�n del vendedor: 4 de 5 estrellas

Condici�n: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Verification of an alternating bit protocol by means of process algebra protocol.- Predicative programming revisited.- Some problems on inductive inference from positive data.- Language and example of knowledge-based programming.- Inductive inference hierar. N� de ref. del art�culo: 4883031

Contactar al vendedor

Comprar nuevo

EUR 48,37

Env�o por EUR 48,99
Se env�a de Alemania a Estados Unidos de America

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen del vendedor

Mathematical Methods of Specification and Synthesis of Software Systems '85 | Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22-26, 1985

Wolfgang Bibel (u. a.)

Publicado por Springer, 1986

ISBN 10: 3540164448 ISBN 13: 9783540164449

Nuevo Taschenbuch

Impresi�n bajo demanda

Librería: preigu, Osnabr�ck, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. Mathematical Methods of Specification and Synthesis of Software Systems '85 | Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22-26, 1985 | Wolfgang Bibel (u. a.) | Taschenbuch | viii | Englisch | 1986 | Springer | EAN 9783540164449 | Verantwortliche Person f�r die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. N� de ref. del art�culo: 102150160

Contactar al vendedor

Comprar nuevo

EUR 50,25

Env�o por EUR 70,00
Se env�a de Alemania a Estados Unidos de America

Cantidad disponible: 5 disponibles

A�adir al carrito

Imagen de archivo

Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22-26, 1985

Publicado por Springer, 1986

ISBN 10: 3540164448 ISBN 13: 9783540164449

Nuevo Tapa blanda

Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. N� de ref. del art�culo: ABLIING23Mar3113020161010

Contactar al vendedor

Comprar nuevo

EUR 52,52

Env�o por EUR 3,42
Se env�a dentro de Estados Unidos de America

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen del vendedor

Mathematical Methods of Specification and Synthesis of Software Systems '85

Klaus P. Jantke

Publicado por Springer Berlin Heidelberg, Springer Jun 1986, 1986

ISBN 10: 3540164448 ISBN 13: 9783540164449

Nuevo Taschenbuch

Impresi�n bajo demanda

Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Verification of an alternating bit protocol by means of process algebra protocol.- Predicative programming revisited.- Some problems on inductive inference from positive data.- Language and example of knowledge-based programming.- Inductive inference hierarchies: Probabilistic VS pluralistic strategies.- Natural mathematical texts VS. programs.- An algebraic framework for inductive program synthesis.- Approximation logic.- Learning on the basis of a polynomial pattern synthesis algorithm.- The proof-checking component for the pleats programming system enabling specification of theories.- The METANET. A knowledge representation tool based on abstract data types.- One more property of array languages.- Theoretical aspects of -programming.- Decidability in pratt's process logics.- A program synthesis algorithm exemplified.- The algorithmic specification method of abstract data types: An overview.- Orientation problems on sequences by recursive functions.- The solution of discrete problems by means of ternary representations.- Formalizing analogical reasoning.- Some results in the theory of effective program synthesis: Learning by defective information.- Deductive normal forms of relations.- How fast is program synthesis from examples.- On recursive optimizers. 256 pp. Englisch. N� de ref. del art�culo: 9783540164449

Contactar al vendedor

Comprar nuevo

EUR 53,49

Env�o por EUR 23,00
Se env�a de Alemania a Estados Unidos de America

Cantidad disponible: 2 disponibles

A�adir al carrito

Imagen del vendedor

Mathematical Methods of Specification and Synthesis of Software Systems '85 : Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22-26, 1985

Klaus P. Jantke

Publicado por Springer Berlin Heidelberg, 1986

ISBN 10: 3540164448 ISBN 13: 9783540164449

Nuevo Taschenbuch

Librería: AHA-BUCH GmbH, Einbeck, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. Druck auf Anfrage Neuware - Printed after ordering - Verification of an alternating bit protocol by means of process algebra protocol.- Predicative programming revisited.- Some problems on inductive inference from positive data.- Language and example of knowledge-based programming.- Inductive inference hierarchies: Probabilistic VS pluralistic strategies.- Natural mathematical texts VS. programs.- An algebraic framework for inductive program synthesis.- Approximation logic.- Learning on the basis of a polynomial pattern synthesis algorithm.- The proof-checking component for the pleats programming system enabling specification of theories.- The METANET. A knowledge representation tool based on abstract data types.- One more property of array languages.- Theoretical aspects of -programming.- Decidability in pratt's process logics.- A program synthesis algorithm exemplified.- The algorithmic specification method of abstract data types: An overview.- Orientation problems on sequences by recursive functions.- The solution of discrete problems by means of ternary representations.- Formalizing analogical reasoning.- Some results in the theory of effective program synthesis: Learning by defective information.- Deductive normal forms of relations.- How fast is program synthesis from examples.- On recursive optimizers. N� de ref. del art�culo: 9783540164449

Contactar al vendedor

Comprar nuevo

EUR 53,49

Env�o por EUR 61,97
Se env�a de Alemania a Estados Unidos de America

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen del vendedor

Mathematical Methods of Specification and Synthesis of Software Systems '85

Klaus P. Jantke

Publicado por Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 1986, 1986

ISBN 10: 3540164448 ISBN 13: 9783540164449

Nuevo Taschenbuch

Impresi�n bajo demanda

Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Verification of an alternating bit protocol by means of process algebra protocol.- Predicative programming revisited.- Some problems on inductive inference from positive data.- Language and example of knowledge-based programming.- Inductive inference hierarchies: Probabilistic VS pluralistic strategies.- Natural mathematical texts VS. programs.- An algebraic framework for inductive program synthesis.- Approximation logic.- Learning on the basis of a polynomial pattern synthesis algorithm.- The proof-checking component for the pleats programming system enabling specification of theories.- The METANET. A knowledge representation tool based on abstract data types.- One more property of array languages.- Theoretical aspects of -programming.- Decidability in pratt's process logics.- A program synthesis algorithm exemplified.- The algorithmic specification method of abstract data types: An overview.- Orientation problems on sequences by recursive functions.- The solution of discrete problems by means of ternary representations.- Formalizing analogical reasoning.- Some results in the theory of effective program synthesis: Learning by defective information.- Deductive normal forms of relations.- How fast is program synthesis from examples.- On recursive optimizers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch. N� de ref. del art�culo: 9783540164449

Contactar al vendedor