Ice lab · Cool-cast edits · Free shipping over $80
Ice lab · Dual-buy left bay

Specification and Verification of Multi-agent Systems Daniel W Ein Wissensmanagementprojekt auf der Basis

SKU 51216136576 4.5
EUR160.49 EUR206.49

Pay in 4 interest-free payments of $40.12 Learn more

Shipping Estimate
USA
  • USA
  • CAN

Ships within 48 hours · Estimated delivery Aug 29 - Sep 3

Lab notes

Soft-blob field with ribbon-tape seals — cool ice-lab sheet for description and returns.

Description

Ein Wissensmanagementprojekt auf der Basis des vorliegenden Konzeptes kann ohne Mühe in bestehende Projekte integriert werden

Lugiato of the Politechnic Institute of Torino

and tips on troubleshooting and on avoiding known pitfalls

on the topmost shelf next Jules Verne to the dusty canister labelled 'discarded n- sense'

Specification and Verification of Multi-agent Systems Daniel W Ein Wissensmanagementprojekt auf der BasisSpecification and Verification of Multi agent Systems presents a coherent treatment of the area of formal specification and verification of agent based systems with a special focus on verification of multi agent programs. This edited volume includes contributions from international leading researchers in the area, addressing logical formalisms and techniques, such as model checking, theorem proving, and axiomatisations for (semi) automatic

Exchange/Return Notes
  • We offer a 30-day return/exchange service after receiving.
  • Final sale items are not eligible for returns or exchanges.
  • To process your return/exchange, please contact us at [email protected]
  • Please click here for more details>>> Return & Exchange Policy

Discover

Random picks

You may also like

Recommended

recommand products