Normal View MARC View ISBD View

Formal techniques for networked and distributed systems, FORTE 2003 : 23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29-October 2, 2003 : proceedings /

Authors: Heiner, Monika,%1954-%editor | Wolisz, Adam.%editor | %Kumlonig, Hartmut,%editor Series: Lecture notes in computer science, 0302-9743 ; . 2767 Published by : Springer, (Berlin :) Physical details: xii, 429 p. : ill. ; 24 cm. ISBN: 3540201750 Subject(s): Formal methods (Computer science) %Congresses. | Electronic data processing %Distributed processing %Congresses. | Computer network protocols %Congresses. Year: 2003
Online Resources:
Tags from this library:
No tags from this library for this title.
Item type Location Call Number Status Date Due
Book Book AUM Main Library English Collections Hall 004.0151 F723 (Browse Shelf) Available
Book Book AUM Main Library English Collections Hall 004.0151 F723 (Browse Shelf) Available
Book Book AUM Main Library English Collections Hall 004.0151 F723 (Browse Shelf) Available

Includes bibliographical references and index.

There are no comments for this item.

Log in to your account to post a comment.