Analysis and Verification of Multiple-Agent Languages Mads Dam
53,49 €
Titel: Analysis and Verification of Multiple-Agent Languages, Untertitel: 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers, Einband: Taschenbuch, Autor: Mads Dam, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 452, Maße: 235x155x25 mm, Gewicht: 680 g, Verkäufer: buch-mimpf, Schlagworte: Agent (EDV) - Agentensystem Mehr-Agenten-Programmierung Nebenläufiges Programmieren Programmanalyse Programmverifikation Semantics Statecharts algorithm algorithms concurrent programming logic multiple-agent programming program analysis programming programming language verification.
Jetzt bei Ebay:
