Analysis and Verification of Multiple-Agent Languages edito da Springer Berlin Heidelberg
Alta reperibilità

Analysis and Verification of Multiple-Agent Languages

5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers

EAN:

9783540625032

ISBN:

3540625038

Pagine:
452
Formato:
Paperback
Lingua:
Tedesco
Acquistabile con o la

Descrizione 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.

Spedizione gratuita
€ 88.43€ 93.08
Risparmi:€ 4.65(5%)
o 3 rate da € 29.48 senza interessi con
Disponibile in 10-12 giorni
servizio Prenota Ritiri su libro Analysis and Verification of Multiple-Agent Languages
Prenota e ritira
Scegli il punto di consegna e ritira quando vuoi

Recensioni degli utenti

e condividi la tua opinione con gli altri utenti