Modular Specification Verification Object Oriented by Müller Peter (13 results)
Language: English
Published by Springer 2002
Series: Lecture Notes in Computer Science, Book 10 of 58. Book 10 of 58 - Lecture Notes in Computer Science
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 70.37
US$ 16.11 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Language: English
Published by Springer 2002-01 2002
Series: Lecture Notes in Computer Science, Book 10 of 58. Book 10 of 58 - Lecture Notes in Computer Science
- Softcover
Seller: Chiron Media, Wallingford, , United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 66.16
US$ 20.83 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
Language: English
Published by Springer 2002
Series: Lecture Notes in Computer Science, Book 10 of 58. Book 10 of 58 - Lecture Notes in Computer Science
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 83.55
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Springer 2002
Series: Lecture Notes in Computer Science, Book 10 of 58. Book 10 of 58 - Lecture Notes in Computer Science
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 69.60
US$ 20.17 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Springer 2002
Series: Lecture Notes in Computer Science, Book 10 of 58. Book 10 of 58 - Lecture Notes in Computer Science
- Softcover
Seller: online-buch-de, Dozwil, , Switzerlandonline-buch-de
Contact seller5-star sellerCondition: Used - As new
US$ 58.56
US$ 41.77 shippingShips from Switzerland to U.S.A.Quantity: 1 available
Paperback Jun 13, 2008. Condition: gebraucht; wie neu. Softcover, ungebraucht.
Language: English
Published by Springer 2002
Series: Lecture Notes in Computer Science, Book 10 of 58. Book 10 of 58 - Lecture Notes in Computer Science
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 97.41
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Language: English
Published by Springer 2002
Series: Lecture Notes in Computer Science, Book 10 of 58. Book 10 of 58 - Lecture Notes in Computer Science
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 94.98
US$ 20.17 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Language: English
Published by Springer Berlin Heidelberg 2002
Series: Lecture Notes in Computer Science, Book 10 of 58. Book 10 of 58 - Lecture Notes in Computer Science
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 63.92
US$ 72.38 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Software systems play an increasingly important role in modern societies. Smart cards for personal identi cation, e-banking, software-controlled me- cal tools, airbags in cars, and autopilots for aircraft control are only some examples that illustr…ate how everyday life depends on the good behavior of software. Consequently, techniques and methods for the development of hi- quality, dependable software systems are a central research topic in computer science. A fundamental approach to this area is to use formal speci cation and veri cation. Speci cation languages allow one to describe the crucial p- perties of software systems in an abstract, mathematically precise, and implementation-independent way. By formal veri cation, one can then prove that an implementation really has the desired, speci ed properties. Although this formal methods approach has been a research topic for more than 30 years, its practical success is still restricted to domains in which devel- ment costs are of minor importance. Two aspects are crucial to widen the application area of formal methods: - Formal speci cation techniques have to be smoothly integrated into the software and program development process. - The techniques have to be applicable to reusable software components. This way, the quality gain can be exploited for more than one system, thereby justifying the higher development costs. Starting from these considerations, Peter Muller has developed new te- niques for the formal speci cation and veri cation of object-oriented so- ware. The speci cation techniques are declarative and implementati- independent. They can be used for object-oriented design and programming.
More imagesLanguage: English
Published by Springer 2002
Series: Lecture Notes in Computer Science, Book 10 of 58. Book 10 of 58 - Lecture Notes in Computer Science
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 60.06
US$ 81.22 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Modular Specification and Verification of Object-Oriented Programs | Peter Müller | Taschenbuch | xiv | Englisch | 2002 | Springer | EAN 9783540431671 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: p…reigu.
Language: English
Published by Springer 2002
Series: Lecture Notes in Computer Science, Book 10 of 58. Book 10 of 58 - Lecture Notes in Computer Science
- Softcover
Seller: Buchpark, Trebbin, , GermanyBuchpark
Contact seller5-star sellerCondition: Used - Very good
US$ 48.37
US$ 121.84 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Gut. Zustand: Gut | Seiten: 312 | Sprache: Englisch | Produktart: Bücher | Software systems play an increasingly important role in modern societies. Smart cards for personal identi?cation, e-banking, software-controlled me- cal tools, airbags in cars, and autopilots for aircraft control are only some examples that ill…ustrate how everyday life depends on the good behavior of software. Consequently, techniques and methods for the development of hi- quality, dependable software systems are a central research topic in computer science. A fundamental approach to this area is to use formal speci?cation and veri?cation. Speci?cation languages allow one to describe the crucial p- perties of software systems in an abstract, mathematically precise, and implementation-independent way. By formal veri?cation, one can then prove that an implementation really has the desired, speci?ed properties. Although this formal methods approach has been a research topic for more than 30 years, its practical success is still restricted to domains in which devel- ment costs are of minor importance. Two aspects are crucial to widen the application area of formal methods: ¿ Formal speci?cation techniques have to be smoothly integrated into the software and program development process. ¿ The techniques have to be applicable to reusable software components. This way, the quality gain can be exploited for more than one system, thereby justifying the higher development costs. Starting from these considerations, Peter Muller ¿ has developed new te- niques for the formal speci?cation and veri?cation of object-oriented so- ware. The speci?cation techniques are declarative and implementati- independent. They can be used for object-oriented design and programming.
Language: English
Published by Springer Berlin Heidelberg Jan 2002 2002
Series: Lecture Notes in Computer Science, Book 10 of 58. Book 10 of 58 - Lecture Notes in Computer Science
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, , GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 63.92
US$ 26.69 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Software systems play an increasingly important role in modern societies. Smart cards for personal identi cation, e-banking, software-controlled me- cal tools, airbags in cars, and autopilots for aircraft control are only some examp…les that illustrate how everyday life depends on the good behavior of software. Consequently, techniques and methods for the development of hi- quality, dependable software systems are a central research topic in computer science. A fundamental approach to this area is to use formal speci cation and veri cation. Speci cation languages allow one to describe the crucial p- perties of software systems in an abstract, mathematically precise, and implementation-independent way. By formal veri cation, one can then prove that an implementation really has the desired, speci ed properties. Although this formal methods approach has been a research topic for more than 30 years, its practical success is still restricted to domains in which devel- ment costs are of minor importance. Two aspects are crucial to widen the application area of formal methods: - Formal speci cation techniques have to be smoothly integrated into the software and program development process. - The techniques have to be applicable to reusable software components. This way, the quality gain can be exploited for more than one system, thereby justifying the higher development costs. Starting from these considerations, Peter Muller has developed new te- niques for the formal speci cation and veri cation of object-oriented so- ware. The speci cation techniques are declarative and implementati- independent. They can be used for object-oriented design and programming. 312 pp. Englisch.
Language: English
Published by Springer Berlin Heidelberg 2002
Series: Lecture Notes in Computer Science, Book 10 of 58. Book 10 of 58 - Lecture Notes in Computer Science
- Softcover
- Print on Demand
Seller: moluna, Greven, , Germanymoluna
Contact seller5-star sellerCondition: New
US$ 57.81
US$ 56.85 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Software systems play an increasingly important role in modern societies. Smart cards for personal identi?cation, e-banking, software-controlled me- cal tools, airbags in cars, and autopilots…for aircraft control are only some examples that illustrate how e.
Language: English
Published by Springer, Springer Jan 2002 2002
Series: Lecture Notes in Computer Science, Book 10 of 58. Book 10 of 58 - Lecture Notes in Computer Science
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
US$ 63.92
US$ 69.62 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Software systems play an increasingly important role in modern societies. Smart cards for personal identi cation, e-banking, software-controlled me- cal tools, airbags in cars, and autopilots for aircraft control are only some examples…that illustrate how everyday life depends on the good behavior of software. Consequently, techniques and methods for the development of hi- quality, dependable software systems are a central research topic in computer science. A fundamental approach to this area is to use formal speci cation and veri cation. Speci cation languages allow one to describe the crucial p- perties of software systems in an abstract, mathematically precise, and implementation-independent way. By formal veri cation, one can then prove that an implementation really has the desired, speci ed properties. Although this formal methods approach has been a research topic for more than 30 years, its practical success is still restricted to domains in which devel- ment costs are of minor importance. Two aspects are crucial to widen the application area of formal methods: ¿ Formal speci cation techniques have to be smoothly integrated into the software and program development process. ¿ The techniques have to be applicable to reusable software components. This way, the quality gain can be exploited for more than one system, thereby justifying the higher development costs. Starting from these considerations, Peter Muller ¿ has developed new te- niques for the formal speci cation and veri cation of object-oriented so- ware. The speci cation techniques are declarative and implementati- independent. They can be used for object-oriented design and programming.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 312 pp. Englisch.
