Specification and Verification of Multi-agent Systems Gisela Matthias Kramer (1640-1729) est l'un
Description
Matthias Kramer (1640-1729) est l'un des francisants les plus compétents de l'Allemagne du XVIIIe siècle
mal mehr und mal weniger gelungen
ob sich sog
(Bierhoff-Alfermann
Berendsohn und die Exilforschung / LANG
Specification and Verification of Multi-agent Systems Gisela Matthias Kramer (1640-1729) est l'unSpecification 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
You may also like
recommand products
