Copied Analysis and Verification of Multiple-Agent Languages
Analysis and Verification of Multiple-Agent Languages
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.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Advances in Integrated Soil Fertility Management in sub-Saharan Africa: Challenges and Opportunities
$329.99
Exploring Meinongs Jungle and Beyond
$169.99
A Lacanian Theory of Curriculum in Higher Education
$59.99
Translation, Brains and the Computer
$159.99
On the Edge of Magnetic Fusion Devices
$199.99
Wie lernt die Politik?
$59.99
Thermal Expansion 7
$39.99
Non-Pushing PCI Techniques
$169.99
Programming with Data
$54.99
The Professional Ideal in the Victorian Novel
$54.99
Calendar Mysteries: May Magic
$5.21
Concept and Design Developments in School Improvement Research
$59.99
White-Collar Crime in the Shadow Economy
$31.00
Human Behaviour in Design
$109.99
Vorlesungen ber partielle Differentialgleichungen
$19.99
Pivotal Certified Professional Core Spring 5 Developer Exam
$99.99
Organization and Management of IT
$54.99
Wirtschaftsmediation fr Steuerberater
$59.99
Verilog Quickstart
$74.99
A Primer on Generative Adversarial Networks
$39.99
50 Jahre Deutsche Gesellschaft fr Ansthesiologie und Intensivmedizin
$129.00
Tumorlokalisationsschlssel
$69.99
Declarative Agent Languages and Technologies VII
$39.99
Clifford el gran perro colorado: La familia de Clifford
$2.99
Introduction to Constraint Databases
$39.99
Copolymerization
$74.99
Prozesse der Macht
$89.99
Surgery for Cancers of the Gastrointestinal Tract
$99.00
Extending Web Services Technologies
$169.99
Proceedings of the 1st AAGBS International Conference on Business Management 2014 (AiCoBM 2014)
$169.99
Combining Artificial Neural Nets
$109.99
Occultations for Probing Atmosphere and Climate
$219.99
Viktimologie des Menschenhandels im Kontext von Migration und Flucht
$69.99
Armenian Civil Society
$129.99
Advances in Computing and Data Sciences
$54.99
Wie einzigartig ist der Mensch?
$19.99
Best Practices for the Mentally Ill in the Criminal Justice System
$79.99
Multinational Banks and Foreign Expansion Decisions
$49.99
Network and Parallel Computing
$39.99
Interfaces Under Laser Irradiation
$219.99
