Sinossi
The development of information processing systems requires models, calculi, and theories for the analysis of computations. It is well understood by now that more complex software systems cannot and should not be constructed in one step. A careful, systematic, and disciplined structuring of the development process is most adequate. It should start from basic requirement specifications in which aU the relevant details of the problem to be solved are formalized. The envisaged solution should be developed step by step by adding more and more details and giving evidence-in the best case by formal proof-to show the correctness of the developed steps. The development ends if a description of a solution is obtained that has aU the required properties. The Summer School in Marktoberdorf 1992 showed significant approaches in this area to refinement calculi, to models of computation, and as a special issue to the treatment of reactive timed systems. Like in the many summer schools before, the success of the 1992 Summer School was not only due to the excellent lectures, but even more due to the brilliant students taking part in the discussions at the summer school, the exchange of different views, and the recognition of the similarity of a number of different view points. These were some of the most important contributions of the summer school. fu the following the proceedings of the summer school are collected. They show the maturity of the field in an impressive way.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Altre edizioni note dello stesso titolo
Risultati della ricerca per Program Design Calculi: 118
Foto dell'editore
Program Design Calculi
Editore:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1993
ISBN 10: 354056943X
ISBN 13: 9783540569435
Antico o usato
Rilegato
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 1993. 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 1993. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo D-484-819
Compra usato
EUR 6,29
Spese di spedizione:
EUR 22,50
Da: Francia a: U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Program Design Calculi: Proceedings of the NATO Advanced Study Institute on Program Design Calculi, Held in Marktoberdorf, Germany, July 28-August 9, 1992 (Nato ASI Subseries F: (118)).
Da: Wissenschaftl. Antiquariat Th. Haker e.K, Klettgau, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Sehr gut. orig. 1993 ed. 424 p. In very good condition. ISBN: 9783540569435 Sprache: Englisch Gewicht in Gramm: 675 15,6 x 2,4 x 23,4 cm, hardcover. Codice articolo 59722
Compra usato
EUR 47,63
Spese di spedizione:
EUR 25,40
Da: Germania a: U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Program Design Calculi (NATO ASI Subseries F:, 118)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020170922
Compra nuovo
EUR 205,75
Spese di spedizione:
EUR 3,45
In U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Program Design Calculi
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 5906169-n
Compra nuovo
EUR 206,94
Spese di spedizione:
EUR 2,29
In U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Program Design Calculi
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. Proceedings of the NATO Advanced Study Institute on Program Design Calculi, held in Marktoberdorf, Germany, July 28 - August 9, 1992The development of information processing systems requires models, calculi, and theories for the analysis of computat. Codice articolo 4894127
Compra nuovo
EUR 180,07
Spese di spedizione:
EUR 48,99
Da: Germania a: U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Program Design Calculi (NATO ASI Subseries F:, 118)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540569435_new
Compra nuovo
EUR 215,79
Spese di spedizione:
EUR 13,63
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Program Design Calculi
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 5906169-n
Compra nuovo
EUR 215,77
Spese di spedizione:
EUR 17,07
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Program Design Calculi
Editore:
Springer Berlin Heidelberg Nov 1993, 1993
ISBN 10: 354056943X
ISBN 13: 9783540569435
Nuovo
Buch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The development of information processing systems requires models, calculi, and theories for the analysis of computations. It is well understood by now that more complex software systems cannot and should not be constructed in one step. A careful, systematic, and disciplined structuring of the development process is most adequate. It should start from basic requirement specifications in which aU the relevant details of the problem to be solved are formalized. The envisaged solution should be developed step by step by adding more and more details and giving evidence-in the best case by formal proof-to show the correctness of the developed steps. The development ends if a description of a solution is obtained that has aU the required properties. The Summer School in Marktoberdorf 1992 showed significant approaches in this area to refinement calculi, to models of computation, and as a special issue to the treatment of reactive timed systems. Like in the many summer schools before, the success of the 1992 Summer School was not only due to the excellent lectures, but even more due to the brilliant students taking part in the discussions at the summer school, the exchange of different views, and the recognition of the similarity of a number of different view points. These were some of the most important contributions of the summer school. fu the following the proceedings of the summer school are collected. They show the maturity of the field in an impressive way. 428 pp. Englisch. Codice articolo 9783540569435
Compra nuovo
EUR 213,99
Spese di spedizione:
EUR 23,00
Da: Germania a: U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Program Design Calculi
Print on DemandDa: preigu, Osnabrück, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: Neu. Program Design Calculi | Manfred Broy | Buch | viii | Englisch | 1993 | Springer-Verlag GmbH | EAN 9783540569435 | 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. Codice articolo 102132598
Compra nuovo
EUR 186,80
Spese di spedizione:
EUR 70,00
Da: Germania a: U.S.A.
Quantità: 5 disponibili
Immagini fornite dal venditore
Program Design Calculi
ISBN 10: 354056943X
ISBN 13: 9783540569435
Nuovo
Buch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: Neu. Neuware -The development of information processing systems requires models, calculi, and theories for the analysis of computations. It is well understood by now that more complex software systems cannot and should not be constructed in one step. A careful, systematic, and disciplined structuring of the development process is most adequate. It should start from basic requirement specifications in which aU the relevant details of the problem to be solved are formalized. The envisaged solution should be developed step by step by adding more and more details and giving evidence-in the best case by formal proof-to show the correctness of the developed steps. The development ends if a description of a solution is obtained that has aU the required properties. The Summer School in Marktoberdorf 1992 showed significant approaches in this area to refinement calculi, to models of computation, and as a special issue to the treatment of reactive timed systems. Like in the many summer schools before, the success of the 1992 Summer School was not only due to the excellent lectures, but even more due to the brilliant students taking part in the discussions at the summer school, the exchange of different views, and the recognition of the similarity of a number of different view points. These were some of the most important contributions of the summer school. fu the following the proceedings of the summer school are collected. They show the maturity of the field in an impressive way.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 428 pp. Englisch. Codice articolo 9783540569435
Compra nuovo
EUR 213,99
Spese di spedizione:
EUR 60,00
Da: Germania a: U.S.A.
Quantità: 2 disponibili