Specification and Verification of Multi-agent Systems Gisela mal mehr und mal weniger
Description
mal mehr und mal weniger gelungen
gemeinnützigen Verbänden
Berendsohn und die Exilforschung / LANG
Veranstaltung: Geschichte der Elbe
Testez vos connaissances sur Les Croix de bois de Roland Dorgelès
Specification and Verification of Multi-agent Systems Gisela mal mehr und mal wenigerSpecification 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
