Isbn: 9780321312839 - principles of concurrent and distributed programming (25 Ergebnisse)

Paperback. Zustand: Good. From a winner of the ACM/SIGCSE Award, this introduction to concurrency takes into account the importance of concurrency constructs in programming languages and of formal methods such as model checking. It focuses on algorithmic principles, and the use of the Spin model checker for modeling concurrent systems and verifying program correctness.…

Zustand: Good. 2 Edition. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Paperback. Zustand: Good. From a winner of the ACM/SIGCSE Award, this introduction to concurrency takes into account the importance of concurrency constructs in programming languages and of formal methods such as model checking. It focuses on algorithmic principles, and the use of the Spin model checker for modeling concurrent systems and verifying program correctness.…

paperback. Zustand: Good. Ex-library book with typical stickers and stampings. Curled book. Priority Mail is available on this item. No international shipping.

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

Paperback. Zustand: New. Brand new book, sourced directly from publisher. Dispatch time is 24-48 hours from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Paperback. Zustand: new. Paperback. Principles of Concurrent and Distributed Programming provides an introduction to concurrent programming focusing on general principles and not on specific systems. Software today is inherently concurrent or distributed from event-based GUI designs to operating and real-time systems to Internet applications. This edition is an introduction to concurrency and examines the growing importance of concurrency constructs embedded in programming languages and of formal methods such as model checking. From a winner of the ACM/SIGCSE Award, this introduction to concurrency takes into account the importance of concurrency constructs in programming languages and of formal methods such as model checking. It focuses on algorithmic principles, and the use of the Spin model checker for modeling concurrent systems and verifying program correctness. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

Zustand: New.

paperback. Zustand: New. In shrink wrap. Looks like an interesting title.

Paperback / softback. Zustand: New. New copy - Usually dispatched within 4 working days.

Zustand: New. In English.

Zustand: New. 2005. 2nd Edition. Paperback. From a winner of the ACM/SIGCSE Award, this introduction to concurrency takes into account the importance of concurrency constructs in programming languages and of formal methods such as model checking. It focuses on algorithmic principles, and the use of the Spin model checker for modeling concurrent systems and verifying program correctness. Num Pages: 384 pages, illustrations. BIC Classification: UMB; UY. Category: (U) Tertiary Education (US: College). Dimension: 173 x 234 x 20. Weight in Grams: 632. . . . . .…

Zustand: As New. Unread book in perfect condition.

Paperback. Zustand: Brand New. 2nd edition. 384 pages. 9.00x6.50x0.75 inches. In Stock.

Paperback. Zustand: new. New Copy. Customer Service Guaranteed.

Zustand: NEW.

Zustand: New. From a winner of the ACM/SIGCSE Award, this introduction to concurrency takes into account the importance of concurrency constructs in programming languages and of formal methods such as model checking. It focuses on algorithmic principles, and the use of t.

Zustand: New. 2005. 2nd Edition. Paperback. From a winner of the ACM/SIGCSE Award, this introduction to concurrency takes into account the importance of concurrency constructs in programming languages and of formal methods such as model checking. It focuses on algorithmic principles, and the use of the Spin model checker for modeling concurrent systems and verifying program correctness. Num Pages: 384 pages, illustrations. BIC Classification: UMB; UY. Category: (U) Tertiary Education (US: College). Dimension: 173 x 234 x 20. Weight in Grams: 632. . . . . . Books ship from the US and Ireland.…

Paperback. Zustand: Brand New. 2nd edition. 384 pages. 9.00x6.50x0.75 inches. In Stock.

Paperback. Zustand: new. Paperback. Principles of Concurrent and Distributed Programming provides an introduction to concurrent programming focusing on general principles and not on specific systems. Software today is inherently concurrent or distributed from event-based GUI designs to operating and real-time systems to Internet applications. This edition is an introduction to concurrency and examines the growing importance of concurrency constructs embedded in programming languages and of formal methods such as model checking. From a winner of the ACM/SIGCSE Award, this introduction to concurrency takes into account the importance of concurrency constructs in programming languages and of formal methods such as model checking. It focuses on algorithmic principles, and the use of the Spin model checker for modeling concurrent systems and verifying program correctness. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.…

Zustand: gut. 2006. Principles of Concurrent and Distributed Programming: Algorithms and Models (Prentice-Hall International Series in Computer Science) - Mordechai Ben-Ari In englischer Sprache. pages.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The latest edition of a classic text on concurrency and distributed programming ? from a winner of the ACM/SIGCSE Award for Outstanding Contribution to Computer Science Education. 384 pp. Englisch.

Taschenbuch. Zustand: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - The latest edition of a classic text on concurrency and distributed programming ? from a winner of the ACM/SIGCSE Award for Outstanding Contribution to Computer Science Education.

Taschenbuch. Zustand: Neu. Principles of Concurrent and Distributed Programming | M. Ben-Ari | Taschenbuch | 384 S. | Englisch | 2005 | Pearson International | EAN 9780321312839 | Verantwortliche Person für die EU: Pearson Studium im Verlag Pearson Benelux B.V. Zweigniederla, Sankt-Martin-Str. 82, 81541 München, buchhandel[at]pearson[dot]com | Anbieter: preigu Print on Demand. …

Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The latest edition of a classic text on concurrency and distributed programming ? from a winner of the ACM/SIGCSE Award for Outstanding Contribution to Computer Science Education.Financial Times Prent., St.-Martin-Straße 82, 81541 München 384 pp. Englisch. …