Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report: 755 (Lecture Notes in Artificial Intelligence) - Tapa blanda
Sinopsis
This volume contains the background texts for an IFIP State-of-the-Art Seminar on Formal Program Development, held in early 1992 near Rio de Janeiro, Brazil. The book stems from work done by IFIP Working Group 2.1 on Algorithmic Languages and Calculi. Since 1975, the Working Group has increasingly focused on systematic approaches to programming and on appropriate concepts and notations to support such approaches. Today, the calculation of programs from specifications constitutes the central theme ofthe group’s work. Thus the core interests of the group are: - formal specification of solutions to problems, and - formal development/calculationof programs from such specifications.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
This volume contains the background texts for an IFIP State-of-the-Art Seminar on Formal Program Development, held in early 1992 near Rio de Janeiro, Brazil. The book stems from work done by IFIP Working Group 2.1 on Algorithmic Languages and Calculi. Since 1975, the Working Group has increasingly focused on systematic approaches to programming and on appropriate concepts and notations to support such approaches. Today, the calculation of programs from specifications constitutes the central theme ofthe group's work. Thus the core interests of the group are: - formal specification of solutions to problems, and - formal development/calculationof programs from such specifications.
"Sobre este título" puede pertenecer a otra edición de este libro.
Otras ediciones populares con el mismo título
Resultados de la búsqueda para Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art...
Imagen de archivo
Lecture Notes in Computer Science 755: Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report
Publicado por
Springer-Verlag, Berlin, Heidelberg, New York, 1993
ISBN 10: 3540574999
ISBN 13: 9783540574996
Antiguo o usado
Paperback
Librería: PsychoBabel & Skoob Books, Didcot, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Good. Estado de la sobrecubierta: No Dust Jacket. Paperback. Ex-library, with library labelling on front cover and inside front cover. Covers have one or two light surface scratches, stains and creases. Head of page block and pages are a little tanned. Minor wear to spine and leading corners. Binding is sound, pages are tight and contents are clear throughout. AF. Ex-Library. Nº de ref. del artículo: 420687
Comprar usado
EUR 37,66
Gastos de envío:
EUR 10,81
De Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report (Lecture Notes in Computer Science, 755)
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: ABLIING23Mar3113020171125
Comprar nuevo
EUR 53,26
Gastos de envío:
EUR 3,46
A Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Formal program development. IFIPTC2/WG 2.1 state-of-the-art report.
Publicado por
Springer, Berlin, 1993
ISBN 10: 3540574999
ISBN 13: 9783540574996
Antiguo o usado
Tapa blanda
Librería: Emile Kerssemakers ILAB, Heerlen, Holanda
Calificación del vendedor: 5 de 5 estrellas
23 cm. original paperback. 372 pp. references. "Lecture Notes in Computer Science". -(libr labels, library stamp on title, otherwise good). 510g. Nº de ref. del artículo: 71863
Comprar usado
EUR 20,00
Gastos de envío:
EUR 44,00
De Holanda a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report (Lecture Notes in Computer Science, 755)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783540574996_new
Comprar nuevo
EUR 57,55
Gastos de envío:
EUR 13,63
De Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report (Lecture Notes in Computer Science)
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Paperback. Condición: New. Nº de ref. del artículo: 6666-IUK-9783540574996
Comprar nuevo
EUR 56,01
Gastos de envío:
EUR 17,62
De Reino Unido a Estados Unidos de America
Cantidad disponible: 10 disponibles
Imagen del vendedor
Formal Program Development
Publicado por
Springer Berlin Heidelberg Nov 1993, 1993
ISBN 10: 3540574999
ISBN 13: 9783540574996
Nuevo
Taschenbuch
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 -This volume contains the background texts for an IFIPState-of-the-Art Seminar on Formal Program Development, heldin early 1992 near Rio de Janeiro, Brazil.The book stems from work done by IFIP Working Group 2.1 onAlgorithmic Languages and Calculi. Since 1975, the WorkingGroup has increasingly focused on systematic approaches toprogramming and on appropriate concepts and notations tosupport such approaches. Today, the calculation of programsfrom specifications constitutes the central theme ofthegroup's work. Thus the core interests of the group are:- formal specification of solutions to problems, and- formal development/calculationof programs from suchspecifications. 388 pp. Englisch. Nº de ref. del artículo: 9783540574996
Comprar nuevo
EUR 53,49
Gastos de envío:
EUR 23,00
De Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen del vendedor
Formal Program Development
Publicado por
Springer Berlin Heidelberg, 1993
ISBN 10: 3540574999
ISBN 13: 9783540574996
Nuevo
Tapa blanda
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. This volume contains the background texts for an IFIPState-of-the-Art Seminar on Formal Program Development, heldin early 1992 near Rio de Janeiro, Brazil.The book stems from work done by IFIP Working Group 2.1 onAlgorithmic Languages and Calc. Nº de ref. del artículo: 4894343
Comprar nuevo
EUR 48,37
Gastos de envío:
EUR 48,99
De Alemania a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Formal Program Development
Publicado por
Springer Berlin Heidelberg Nov 1993, 1993
ISBN 10: 3540574999
ISBN 13: 9783540574996
Nuevo
Taschenbuch
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 -This volume contains the background texts for an IFIPState-of-the-Art Seminar on Formal Program Development, held in early 1992 near Rio de Janeiro, Brazil. The book stems from work done by IFIP Working Group 2.1 on Algorithmic Languages and Calculi. Since 1975, the Working Group has increasingly focused on systematic approaches to programming and on appropriate concepts and notations to support such approaches. Today, the calculation of programs from specifications constitutes the central theme ofthe group's work. Thus the core interests of the group are: - formal specification of solutions to problems, and - formal development/calculationof programs from such specifications.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 388 pp. Englisch. Nº de ref. del artículo: 9783540574996
Comprar nuevo
EUR 53,49
Gastos de envío:
EUR 60,00
De Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Formal Program Development : IFIP TC2/WG 2.1 State-of-the-Art Report
Publicado por
Springer Berlin Heidelberg, 1993
ISBN 10: 3540574999
ISBN 13: 9783540574996
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 - This volume contains the background texts for an IFIPState-of-the-Art Seminar on Formal Program Development, heldin early 1992 near Rio de Janeiro, Brazil.The book stems from work done by IFIP Working Group 2.1 onAlgorithmic Languages and Calculi. Since 1975, the WorkingGroup has increasingly focused on systematic approaches toprogramming and on appropriate concepts and notations tosupport such approaches. Today, the calculation of programsfrom specifications constitutes the central theme ofthegroup's work. Thus the core interests of the group are:- formal specification of solutions to problems, and- formal development/calculationof programs from suchspecifications. Nº de ref. del artículo: 9783540574996
Comprar nuevo
EUR 53,49
Gastos de envío:
EUR 62,94
De Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Formal Program Development | IFIP TC2/WG 2.1 State-of-the-Art Report
Librería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Formal Program Development | IFIP TC2/WG 2.1 State-of-the-Art Report | Bernhard Möller (u. a.) | Taschenbuch | ix | Englisch | 1993 | Springer Spektrum | EAN 9783540574996 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Nº de ref. del artículo: 102131714
Comprar nuevo
EUR 50,35
Gastos de envío:
EUR 70,00
De Alemania a Estados Unidos de America
Cantidad disponible: 5 disponibles