Koha online

Normal view MARC view ISBD view

Formal Techniques for Distributed Systems [electronic resource] : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings / edited by Roberto Bruni, Juergen Dingel.

By: (13th : International Conference on Formal Methods for Open Object-Based Distributed Systems (13th : 2011 : Reykjavik, Iceland).
Contributor(s): Dingel, Juergen | Bruni, Roberto | International Federation for Information Processing | IFIP Working Group 6.1 | International Conference on Formal Description Techniques (31st : 2011 : Reykjavik, Iceland) | International Federated Conferences on Distributed Computing Techniques (6th : 2011 : Reykjavik, Iceland).
Material type: TextTextSeries: Lecture Notes in Computer Science, 6722. Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011ISBN: 9783642214615.Other title: FMOODS 2011 [Other title] | FORTE 2011 [Other title].Subject(s): Computer science | Computer Communication Networks | Software engineering | Logic designOnline resources: Click here to access online
Tags from this library: No tags from this library for this title.
Item type Current location Call number Status Date due Barcode
National Library of India
Available NLI-EBK000001666ENG

Indian Culture Logo Recognizing the ongoing need to position itself for the digital future, Indian Culture is an initiative by the Ministry of Culture. A platform that hosts data of cultural relevance from various repositories and institutions all over India.

  •  
  •  
  •  

The Indian Culture Portal is a part of the National Virtual Library of India project, funded by the Ministry of Culture, Government of India. The portal has been created and developed by the Indian Institute of Technology, Bombay. Data has been provided by organisations of the Ministry of Culture.