Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
Elements of a relational theory of datatypes.- From dynamic programming to greedy algorithms.- Practical transformation of functional programs for efficient execution: A case study.- Behavior-oriented specification in Gist.- Derivation of graph and pointer algorithms.- The refinement calculus, and literate development.- Formal problem specification on an algebraic basis.- Program development in an algebraic setting.- Rules and strategies for program transformation.- Endomorphic typing.- Automating the design of algorithms.- Virtual data structures.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Altre edizioni note dello stesso titolo
Risultati della ricerca per Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art...
Foto dell'editore
Lecture Notes in Computer Science 755: Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report
Editore:
Springer-Verlag, Berlin, Heidelberg, New York, 1993
ISBN 10: 3540574999
ISBN 13: 9783540574996
Antico o usato
Paperback
Da: PsychoBabel & Skoob Books, Didcot, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Good. Condizione sovraccoperta: 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. Codice articolo 420687
Compra usato
EUR 37,56
Spese di spedizione:
EUR 10,78
Da: Regno Unito a: U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report (Lecture Notes in Computer Science, 755)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020171125
Compra nuovo
EUR 53,17
Spese di spedizione:
EUR 3,46
In U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Formal program development. IFIPTC2/WG 2.1 state-of-the-art report.
Da: Emile Kerssemakers ILAB, Heerlen, Paesi Bassi
Valutazione del venditore 5 su 5 stelle
23 cm. original paperback. 372 pp. references. "Lecture Notes in Computer Science". -(libr labels, library stamp on title, otherwise good). 510g. Codice articolo 71863
Compra usato
EUR 20,00
Spese di spedizione:
EUR 44,00
Da: Paesi Bassi a: U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report (Lecture Notes in Computer Science, 755)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540574996_new
Compra nuovo
EUR 57,40
Spese di spedizione:
EUR 13,59
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report (Lecture Notes in Computer Science)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 4 su 5 stelle
Paperback. Condizione: New. Codice articolo 6666-IUK-9783540574996
Compra nuovo
EUR 55,86
Spese di spedizione:
EUR 17,57
Da: Regno Unito a: U.S.A.
Quantità: 10 disponibili
Immagini fornite dal venditore
Formal Program Development
Editore:
Springer Berlin Heidelberg Nov 1993, 1993
ISBN 10: 3540574999
ISBN 13: 9783540574996
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783540574996
Compra nuovo
EUR 53,49
Spese di spedizione:
EUR 23,00
Da: Germania a: U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Formal Program Development
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: 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. Codice articolo 4894343
Compra nuovo
EUR 48,37
Spese di spedizione:
EUR 48,99
Da: Germania a: U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Formal Program Development
Editore:
Springer Berlin Heidelberg Nov 1993, 1993
ISBN 10: 3540574999
ISBN 13: 9783540574996
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783540574996
Compra nuovo
EUR 53,49
Spese di spedizione:
EUR 60,00
Da: Germania a: U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Formal Program Development : IFIP TC2/WG 2.1 State-of-the-Art Report
Editore:
Springer Berlin Heidelberg, 1993
ISBN 10: 3540574999
ISBN 13: 9783540574996
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783540574996
Compra nuovo
EUR 53,49
Spese di spedizione:
EUR 62,94
Da: Germania a: U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Formal Program Development | IFIP TC2/WG 2.1 State-of-the-Art Report
Da: preigu, Osnabrück, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 102131714
Compra nuovo
EUR 50,35
Spese di spedizione:
EUR 70,00
Da: Germania a: U.S.A.
Quantità: 5 disponibili