ISBN: 9783540625032 - analysis and verification of multiple-agent languages: 5th lomaps workshop, stockholm, sweden, june 24-26, 1996, selected papers (lecture notes in computer science, 1192, band 1192) (13 Ergebnisse)

Zustand: New.

Paperback or Softback. Zustand: New. Analysis and Verification of Multiple-Agent Languages: 5th Lomaps Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers. Book.

Zustand: New.

Zustand: New. In English.

Zustand: New.

Taschenbuch. Zustand: 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.…

Zustand: As New. Unread book in perfect condition.

Paperback. Zustand: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Zustand: As New. Unread book in perfect condition.

Taschenbuch. Zustand: 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.…

Kartoniert / Broschiert. Zustand: 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.…

Taschenbuch. Zustand: 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.…

Taschenbuch. Zustand: Neu. Analysis and Verification of Multiple-Agent Languages | 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers | Mads Dam | Taschenbuch | viii | Englisch | 1997 | Springer | EAN 9783540625032 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. …