Analysis and Verification of Multiple-Agent Languages: 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers: Selected Papers : ... Workshop, Stockholm, Sweden, June 1996: 1192 - Brossura
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
Logical and operational methods in the analysis of programs and systems.- Proving properties of logic programs by abstract diagnosis.- Abstract interpretation of the ?-calculus.- Abstract interpretation of small-step semantics.- An overview of mobile agent programming.- Formalising and prototyping a concurrent object-based language.- Type checking for a multiset rewriting language.- Polymorphic subtyping for effect analysis: The static semantics.- Polymorphic subtyping for effect analysis: The dynamic semantics.- Polymorphic subtyping for effect analysis: The algorithm.- Implementing a static analyzer of concurrent programs: Problems and perspectives.- Polyvariance, polymorphism and flow analysis.- Parallel implementation of functional languages.- Mobile processes with local clocks.- Testing semantics of asynchronous distributed programs.- Analysis of Facile programs: A case study.- A non-standard semantics for generating reduced transition systems.- A process language for statecharts.- Priorities in Statecharts.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Analysis and Verification of Multiple-Agent Languages:...
Foto dell'editore
Analysis and Verification of Multiple-Agent Languages. Lecture Notes in Computer Science, Volume 1192
Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. 434 pp., ex library, else textually clean and tight, softcover. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Codice articolo ZB379452
Compra usato
EUR 36,27
Spedizione EUR 3,94
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Analysis and Verification of Multiple-Agent Languages : Selected Papers : 5th Lomaps Workshop, Stockholm, Sweden, June 1996
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 5905525-n
Compra nuovo
EUR 56,51
Spedizione EUR 2,31
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Analysis and Verification of Multiple-Agent Languages: 5th Lomaps Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers (Paperback or Softback)
Editore:
Springer 1/7/1997, 1997
ISBN 10: 3540625038
ISBN 13: 9783540625032
Nuovo
Paperback or Softback
Da: BargainBookStores, Grand Rapids, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback or Softback. Condizione: New. Analysis and Verification of Multiple-Agent Languages: 5th Lomaps Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers. Book. Codice articolo BBS-9783540625032
Compra nuovo
EUR 58,90
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 5 disponibili
Foto dell'editore
Analysis and Verification of Multiple-Agent Languages: 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers (Lecture Notes in Computer Science, 1192)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. Codice articolo I-9783540625032
Compra nuovo
EUR 61,32
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Analysis and Verification of Multiple-Agent Languages: 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers (Lecture Notes in Computer Science, 1192)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540625032_new
Compra nuovo
EUR 61,09
Spedizione EUR 13,99
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Analysis and Verification of Multiple-Agent Languages
ISBN 10: 3540625038
ISBN 13: 9783540625032
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 452 pp. Englisch. Codice articolo 9783540625032
Compra nuovo
EUR 53,49
Spedizione EUR 23,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Analysis and Verification of Multiple-Agent Languages : Selected Papers : 5th Lomaps Workshop, Stockholm, Sweden, June 1996
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 5905525-n
Compra nuovo
EUR 61,08
Spedizione EUR 17,52
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Analysis and Verification of Multiple-Agent Languages
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 m. Codice articolo 4895980
Compra nuovo
EUR 48,37
Spedizione EUR 48,99
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Analysis and Verification of Multiple-Agent Languages
Editore:
Springer, Springer Jan 1997, 1997
ISBN 10: 3540625038
ISBN 13: 9783540625032
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 452 pp. Englisch. Codice articolo 9783540625032
Compra nuovo
EUR 53,49
Spedizione EUR 60,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Analysis and Verification of Multiple-Agent Languages : 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Codice articolo 9783540625032
Compra nuovo
EUR 53,49
Spedizione EUR 63,40
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili