Order Total (1 Item Items):
Shipping Destination:
Rner Dines (23 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (23)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (16)
- As New, Fine or Near Fine (No further results match this refinement)
- Very Good or Good (4)
- Fair or Poor (No further results match this refinement)
- As Described (3)
Binding
Collectible Attributes
- First Edition (1)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (3)
- Not Print on Demand (16)
Language (2)
Price
- Any Price
- Under US$ 25 (No further results match this refinement)
- US$ 25 to US$ 50
- Over US$ 50
Free Shipping
Seller Location
Seller Rating
-
Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; . (Lecture Notes in Computer Science, 1181)
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. 472 pp., paperback, brand new! still in shrink wrap. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
-
Software Engineering 2 : Specification of Systems and Languages
Book 23 of 45: Texts in Theoretical Computer Science. An EATCSLanguage: English
Published by Springer Berlin / Heidelberg, 2006
ISBN 10: 3540211500 ISBN 13: 9783540211501
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)
Book 23 of 45: Texts in Theoretical Computer Science. An EATCSSeller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Seller rating 5 out of 5 stars
US$ 46.47
US$ 14.41 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
-
Paperback or Softback. Condition: New. Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceeding. Book.
-
Software Engineering 3 : Domains, Requirements, and Software Design
Book 24 of 45: Texts in Theoretical Computer Science. An EATCSLanguage: English
Published by Springer Berlin / Heidelberg, 2006
ISBN 10: 3540211519 ISBN 13: 9783540211518
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
Condition: Very Good. 2006th Edition. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
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.
-
Condition: Used. pp. 808.
-
Condition: Used. pp. 808.
-
Logics of Specification Languages
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2007
ISBN 10: 3540741062 ISBN 13: 9783540741060
First Edition
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 historically significant, providing the utmost quality and customer service satisfaction. For any questions feel free to email us.
-
Condition: New. pp. 806.
-
Condition: New. pp. xxx + 766 1st Edition.
-
US$ 143.67
US$ 8.80 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: New. pp. xxx + 766.
-
Domain Science And Engineering : A Found
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New.
-
Condition: New.
-
Software Engineering: Volume 2: System and language of the Statute
Published by Tsinghua University Press, 2000
ISBN 10: 7302208913 ISBN 13: 9787302208914
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 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. 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.
-
Software Engineering Volume 3: field. requirements and software design (the world s leading computer Textbooks)
Published by Tsinghua University Press Pub. Date :2010-01, 2000
ISBN 10: 7302208921 ISBN 13: 9787302208921
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.
-
Condition: New. PRINT ON DEMAND pp. 604.
-
Condition: New. PRINT ON DEMAND pp. 472.
-
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.
-
Condition: New. PRINT ON DEMAND pp. 806.
-
Condition: New. PRINT ON DEMAND pp. xxx + 766.
-
Condition: New. PRINT ON DEMAND pp. 650.
-
Condition: New. PRINT ON DEMAND pp. 652.
