KOBV Portal

Please enable Javascript in your browser preferences in order to use all features of KOBV Portal.

rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Hits per page

hit 1 - 1 | 1 hit

Select All Export

1

Book

Book

Formal techniques for computer systems and business processes : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1 - 3, 2005 ; proceedings (2005)

Bravetti, Mario [Sonstige] ; European Performance Engineering Workshop 2 2005 Versailles ; International Workshop on Web Services and Formal Methods 2 2005 Versailles

Berlin [u.a.] : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV020851930

Format: XIII, 348 S. , Ill., graph. Darst.

ISBN: 9783540287018 , 3540287019

Series Statement: Lecture notes in computer science 3670

Note: Literaturangaben

Language: English

Keywords: Formale Methode ; Web Services ; Formale Methode ; Konferenzschrift ; Kongress ; Konferenzschrift ; Konferenzschrift

URL: Inhaltsverzeichnis

URL: Inhaltsverzeichnis

URL: Cover

Library	Location	Call Number	Volume/Issue/Year	Availability

BibTip

Others were also interested in ...

Book

Inter-library loan

UB Potsdam

get availability status

Berlin VÖBB/ZLB

get availability status

TU Berlin

get availability status

hit 1 - 1 | 1 hit

This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages