Order Total (1 Item Items):
Shipping Destination:
Rus Teodor (79 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (79)
- 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 (56)
- As New, Fine or Near Fine (15)
- Very Good or Good (7)
- Fair or Poor (No further results match this refinement)
- As Described (1)
Binding
Collectible Attributes
- First Edition (1)
- Signed (No further results match this refinement)
- Dust Jacket (2)
- Seller-Supplied Images (34)
- Not Print on Demand (63)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
Transformation-Based Reactive Systems Development.; 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS '97 Palma, Mallorci, Spain, May 1977 Proceedings. (Lecture Notes in Computer Science 1231.)
Language: English
Published by Springer-Verlag, New York, 1997
ISBN 10: 3540630104 ISBN 13: 9783540630104
Seller: J. HOOD, BOOKSELLERS, ABAA/ILAB, Baldwin City, KS, U.S.A.
Seller rating 5 out of 5 stars
Paperback. 429pp. X-Library with minimal markings, else as new.
-
Execution Support Environment (System Software and Software Systems, Vol 2) (v. 2)
Language: English
Published by World Scientific Pub Co Inc, 1994
ISBN 10: 9810212550 ISBN 13: 9789810212551
Hardcover. Condition: Fine. Mint condition.
-
SYSTEM SOFTWARE AND SOFTWARE SYSTEMS: EXECUTION SUPPORT ENVIRONMENT (Major American Universities Ph. D. Qualifying Questions and)
Language: English
Published by World Scientific Publishing Comp, 1994
ISBN 10: 9810212550 ISBN 13: 9789810212551
hardcover. Condition: Good. Fast Shipping - Safe and Secure 7 days a week!
-
Transformation-Based Reactive Systems Development: 4th International Amast Workshop on Real-Time Systems and Concurrent and Distributed Soft
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1997
ISBN 10: 3540630104 ISBN 13: 9783540630104
Softcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 1997. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1997. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Softcover. Condition: New. First Edition. Still in publisher's shrinkwrap.
-
System Software and Software Systems: Systems Methodology for System Software
Language: English
Published by World Scientific Publishing Co Pte Ltd, 1993
ISBN 10: 9810212542 ISBN 13: 9789810212544
Hardcover. Condition: Très bon. Ancien livre de bibliothèque. 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. Edition 1993. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
COMPUTER-BASED PROBLEM SOLVING PROCESS
Language: English
Published by World Scientific Pub Co Inc, 2015
ISBN 10: 9814663735 ISBN 13: 9789814663731
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Seller rating 5 out of 5 stars
Condition: 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. Condition: Fine. Mint condition.
-
Computer-Based Problem Solving Process
Language: English
Published by World Scientific Pub Co Inc, 2015
ISBN 10: 9814663735 ISBN 13: 9789814663731
Condition: New. pp. 350.
-
Computer-Based Problem Solving Process
Language: English
Published by World Scientific Pub Co Inc, 2015
ISBN 10: 9814663735 ISBN 13: 9789814663731
Condition: New. pp. 350.
-
Computer-Based Problem Solving Process
Language: English
Published by World Scientific Pub Co Inc, 2015
ISBN 10: 9814663735 ISBN 13: 9789814663731
Condition: New. pp. 350.
-
Algebraic Methodology and Software Technology (AMAST93) (Paperback)
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1993
ISBN 10: 3540198520 ISBN 13: 9783540198529
Paperback. Condition: new. Paperback. This volume contains papers presented at the Third International Conference on Algebraic Methodology and Software Technology (AMAST'93), held at the University of Twente, the Netherlands, 21-25 June 1993. The AMAST conferences aim to promote the use of algebraic methodology as a foundation for software technology, and to examine how universal algebra can provide practical mathematical alternatives to the ad hoc methods commonly used in software development. They are the only conferences to focus specifically on this important area of research. The resulting volume covers a variety of software development issues, and testifies to the versatility of algebraic methods when used as conceptual tools in the software development process. The papers present original research in a range of areas, and include a distinguished collection of invited papers by leading researchers in the field. The volume also includes descriptions of six software systems which have been developed using algebraic methods, techniques and tools.Among the topics covered in this volume are: Algebraic metamathematics; Functional programming; Category theory in software engineering; Modular system design; Real-time system specification; Testing theory and applications; Algebraic semantics of concurrency; Modal logics and reactive systems; Design and refinement principles; Equational and logic programming; Algebraic specification in software engineering. The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software technology, and to show that this can lead to practical mathematical alternatives to the ad-hoc approaches commonly used in software engineering and development. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
-
-
-
-
Condition: As New. Unread book in perfect condition.
-
THEORIES AND EXPERIENCES FOR REAL-TIME SYSTEM DEVELOPMENT (Amast Computing)
Language: English
Published by World Scientific Publishing Comp, 1995
ISBN 10: 9810219237 ISBN 13: 9789810219239
hardcover. Condition: Good. Fast Shipping - Safe and Secure 7 days a week!
-
Transformation-Based Reactive Systems Development (Paperback)
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1997
ISBN 10: 3540630104 ISBN 13: 9783540630104
Paperback. Condition: new. Paperback. This book constitutes the refereed proceedings of the Fourth International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, held in Palma de Mallorca, Spain, in May 1997.The volume presents 24 carefully selected revised full papers. Also included are two historical contributions honoring Ramon Llull, who was born on Mallorca, as well as two invited papers. All current issues in the field of formal methods for real-time systems and distributed and concurrent systems are addressed. This book constitutes the refereed proceedings of the Fourth International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, held in Palma de Mallorca, Spain, in May 1997.The volume presents 24 carefully selected revised full papers. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
-
COMPUTER-BASED PROBLEM SOLVING PROCESS
Language: English
Published by World Scientific Pub Co Inc, 2015
ISBN 10: 9814663735 ISBN 13: 9789814663731
Hardcover. Condition: New. US SELLER SHIPS FROM USA.
-
Algebraic Methodology and Software Technology (AMAST'93): Proceedings of the Third International Conference on Algebraic Methodology and Software ... 21-25 June 1993 (Workshops in Computing)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 49.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Transformation-Based Reactive Systems Development: 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ... (Lecture Notes in Computer Science, 1231)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 49.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
Transformation-Based Reactive Systems Development : 4th International Amast Workshop on Real-Time Systems and Concurrent and Distributed Software, Arts'97, Palma, Mallorca, Spain, May 21-23, 1997
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Computer-Based Problem Solving Process
Language: English
Published by World Scientific Pub Co Inc, 2015
ISBN 10: 9814663735 ISBN 13: 9789814663731
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Computer-Based Problem Solving Process
Language: English
Published by World Scientific Pub Co Inc, 2015
ISBN 10: 9814663735 ISBN 13: 9789814663731
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Condition: New. pp. 436.
-
Data Structures and Operating Systems (Wiley series in computing)
Language: English
Published by John Wiley & Sons Ltd 27.06.1979., 1979
ISBN 10: 0471995177 ISBN 13: 9780471995173
Broschiert. Condition: Gut. 376 Seiten UMI OUT OF PRINT Books on Demand copy nice ex library book Sprache: Englisch Gewicht in Gramm: 550.
-
Transformation-Based Reactive Systems Development : 4th International Amast Workshop on Real-Time Systems and Concurrent and Distributed Software, Arts'97, Palma, Mallorca, Spain, May 21-23, 1997
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
