Home Zubal Books Analysis and Verification of Multiple-Agent Languages. Lecture Notes in Computer Science, Volume 1192 by Dam, Mads, ed (ISBN: 9783540625032)

Analysis and Verification of Multiple-Agent Languages. Lecture Notes in Computer Science, Volume 1192

Stock photo: cover may vary

Analysis and Verification of Multiple-Agent Languages. Lecture Notes in Computer Science, Volume 1192 Paperback - 1997 - 1997th Edition

Name: Analysis and Verification of Multiple-Agent Languages. Lecture Notes in Computer Science, Volume 1192
Price: 59.12 AUD
Availability: InStock
Author: Dam, Mads, ed
ISBN: 9783540625032

by Dam, Mads, ed

Add to wish list

Used
Paperback

Used: See the description

Description

Springer, 1997. 434 pp., ex library, else textually clean and tight, softcover. - 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.

Ask the seller a question Add to wish list

A$59.12

A$6.62 Delivery within USA
Standard delivery: 7 to 14 days

More delivery options

Ships from Zubal Books (Ohio, United States)

The BIBLIO Guarantee

Details

Title Analysis and Verification of Multiple-Agent Languages. Lecture Notes in Computer Science, Volume 1192
Author Dam, Mads, ed
Binding Paperback
Edition number 1997th
Edition 1997
Pages 444
Volumes 1
Language ENG
Publisher Springer
Publication date 1997
Bookseller's Inventory # ZB379452
ISBN 9783540625032 / 3540625038
Weight 1.38 lbs (0.63 kg)
Dimensions 9.21 x 6.14 x 0.91 in (23.39 x 15.60 x 2.31 cm)
Category Computers - General Information
Library of Congress Catalogue Number 96053984
Dewey Decimal Code 005.131

About Zubal Books Ohio, United States

Specialising in: Anthropology, Art, Engineering, History, Occult, Philosophy, Physics, Science

Biblio member since 2005

Zubal Books has been the leader in scholarly and rare books since 1961. We purchase individual books as well as entire libraries.

Terms of Sale: All prices are NET. Returns accepted within 5 days of receiving book.

Browse books from Zubal Books

Reader reviews for Analysis and Verification of Multiple-Agent Languages. Lecture Notes in Computer Science, Volume 1192

Write a review for this book

Important Terms and Guidelines

Please focus on the book’s content and context. Also, add any personal comments as to how you enjoyed the book. Substantiate your likes and dislikes. You may make comparisons to other books.
Reviews must be at least 140 characters in length.
Please do not reveal critical plot elements.
This is not a help line. Contact customer support if you need help.

Your review must not include:

Obscenities, discriminatory language, or other insulting language not suitable for public domain
Advertisements, “spam” content, or references to other products, offers or websites.
Email addresses, URLs, phone numbers, physical addresses or other contact information.
Overly critical comments about other reviews or reviewers
Time-sensitive material (i.e. promotional tours, seminars, lectures, etc.)
Availability, price, or alternative ordering/shipping information

From the publisher

This book originates from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages, held in Stockholm, Sweden, in June 1996. LOMAPS is an ESPRIT project devoted to program analysis and verification techniques applicable to emerging multi-paradigm programming languages.
The volume presents 14 revised full papers selected from the workshop submissions together with 4 invited contributions; also included is an introductory overview surveying the state of the art in the area and putting the contributions into this context.

First line

The LOMAPS project studies the use of Logical and Operational Methods in the Analysis of Programs and Systems and is sponsored by ESPRIT Basic Research.1

BIBLIO is the largest independent book marketplace in the world, with over 100 million books.