Dines Bj Rner (18 results)
Language: English
Published by Springer, 2006
Series: Book 23 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: Used
US$ 67.54
US$ 8.78 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: Used. pp. 808 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.
Language: English
Published by Springer, 2006
Series: Book 23 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: Used
US$ 73.35
US$ 3.99 shippingShips within U.S.A.Quantity: 1 available
Condition: Used. pp. 808.
Language: English
Published by Springer, 2006
Series: Book 23 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: Used
US$ 74.84
US$ 11.53 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Used. pp. 808.
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2007
- Hardcover
- First Edition
Seller: bmyguest books, Toronto, ON, Canadabmyguest books
Contact seller4-star sellerCondition: Used - Very good
US$ 69.45
US$ 14.99 shippingShips from Canada to U.S.A.Quantity: 1 available
Hardcover. Condition: Very Good. 1st Edition. In Very Good Condition, Clean With No Remainder Mark. 623 Pages With No Index, Hardcover. Text Book Binding.We will state signed at the description section. we confirm they are signed via email or stated in the description box. - Specializing in academic, collectiblle and historicall…y significant, providing the utmost quality and customer service satisfaction. For any questions feel free to email us.
Language: English
Published by Springer, 2010
Series: Book 23 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 99.24
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 806.
Language: English
Published by Springer, 2006
Series: Book 24 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 141.03
US$ 3.99 shippingShips within U.S.A.Quantity: 1 available
Condition: New. pp. xxx + 766 1st Edition.
Language: English
Published by Springer, 2006
Series: Book 24 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
US$ 140.65
US$ 8.78 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: New. pp. xxx + 766.
- Softcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
US$ 276.50
US$ 11.01 shippingShips from Ireland to U.S.A.Quantity: 15 available
Condition: New.
- Softcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
US$ 325.77
US$ 10.50 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
Published by Tsinghua University Press, 2000
- Softcover
Seller: liu xing, Nanjing, JS, Chinaliu xing
Contact seller5-star sellerCondition: New
US$ 98.89
US$ 18.00 shippingShips from China to U.S.A.Quantity: 10 available
paperback. Condition: New. Ship out in 2 business day, And Fast shipping, Free Tracking number will be provided after the shipment.Pages Number: 646 Publisher: Tsinghua University Press Pub. Date: 2010 -01. software engineering. Volume 1 ~ 3 is the von Neumann Medal. the world-famous computer scientist. Professor Dines BjOrner l…atest book. This series for readers to understand software and software development process provides a whole new perspective. This three-volume book first systematic exposition of how to use formal methods to guide the field of engineering. requirements engineering and software design. software engineering that three interrelated and overlapping components. or software engineering known as the trilogy . In all stages of software development. if we can use this formal pattern of development. will be able to guarantee a great extent the correctness and effectiveness of software development. This series can be regarded as a landmark in the history of software engineering work. Authors 30 years of programming methodology of the study and practice. coupled with 25 years continuous improvement of lecture notes compiled this set of coherent. consistent and relatively complete software engineering books. This series is a notable feature in this three-volume book. all the principles. techniques and tools through a large number of case studies to be described. and covers all major software development period. the stage and steps; same time. these principles. techniques and tools can be used in large industrial and commercial software development projects go. This seriesFour Satisfaction guaranteed,or money back.
Published by Tsinghua University Press Pub. Date :2010-01, 2000
- Softcover
Seller: liu xing, Nanjing, JS, Chinaliu xing
Contact seller5-star sellerCondition: New
US$ 98.89
US$ 18.00 shippingShips from China to U.S.A.Quantity: 10 available
paperback. Condition: New. Ship out in 2 business day, And Fast shipping, Free Tracking number will be provided after the shipment.Pages Number: 590 Publisher: Tsinghua University Press Pub. Date :2010-01. software engineering. Volume 1 ~ 3 is the von Neumann Medal. the world-famous computer scientist. Professor Dines Bjorner s…latest book. This series for readers to understand software and software development process provides a whole new perspective. This three-volume book first systematic exposition of how to use formal methods to guide the field of engineering. requirements engineering and software design. software engineering that three interrelated and overlapping components. or software engineering known as the trilogy . In all stages of software development. if we can use this formal pattern of development. will be able to guarantee a great extent the correctness and effectiveness of software development. Software Engineering Volume 3: area. demand and software design. describes the overall software development. basic principles and techniques: from the description field. through the needs analysis. until the software design. This volume advocates a new software engineering development model: the demand to be formalized before. one must understand the applications. so this volume introduces the principles and techniques described in the field. and then describes the model derived from field theory and technology needs rules Finally introduce detailed requirements to software design principles and technology: architecture and component design. This series can be regarded as a landmark in the history of software engineering work. Authors 30 years of programming methodology of the study and practice. coupled with 25 years continuous improvement of lecture notes compiled this set of coherent. consistent and relatively complete software engineering books. The series. a notable featureFour Satisfaction guaranteed,or money back.
Language: English
Published by Springer, 2010
Series: Book 23 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
- Print on Demand
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
US$ 96.51
US$ 8.78 shippingShips from United Kingdom to U.S.A.Quantity: 4 available
Condition: New. Print on Demand pp. 806 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
- Softcover
- Print on Demand
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
US$ 96.56
US$ 11.53 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND pp. 604.
- Softcover
- Print on Demand
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
US$ 97.88
US$ 11.53 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND pp. 472.
Language: English
Published by Springer, 2010
Series: Book 23 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
- Print on Demand
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
US$ 106.52
US$ 11.53 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND pp. 806.
Language: English
Published by Springer, 2006
Series: Book 24 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
- Print on Demand
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
US$ 193.74
US$ 11.53 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND pp. xxx + 766.
- Softcover
- Print on Demand
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
US$ 275.14
US$ 11.53 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND pp. 650.
- Hardcover
- Print on Demand
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
US$ 281.29
US$ 11.53 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND pp. 652.
