Zoekresultaten - "Formal methods (Computer science)"

Verfijn jouw resultaten
  1. 11

    Formal methods for eternal networked software systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinor...

    Gepubliceerd in 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    Beeld op de omslag
  2. 12

    Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings

    Gepubliceerd in Springer eBooks. (2011)
    Available for University of the Philippine Diliman via Springerlink. Click here to access
    Electronic Resource


    Beeld op de omslag
  3. 13

    Web services and formal methods 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010: revised selected papers

    Gepubliceerd in 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    Beeld op de omslag
  4. 14

    Teamwork in multi-agent systems a formal approach door Dunin-Kȩplicz, Barbara

    Gepubliceerd in 2010
    Boek


    Beeld op de omslag
  5. 15

    Teamwork in multi-agent systems a formal approach door Dunin-Kȩplicz, Barbara, Verbrugge, Rineke

    Gepubliceerd in 2010
    Available for University of the Philippines Diliman College of Engineering via IEEE Xplore. Click here to access
    Also available remotely for University of the Philippines Diliman College of Engineering via IEEE Xplore. Click here to access thru EZproxy
    Electronic Resource


    Beeld op de omslag
  6. 16

    Formal modeling and analysis of timed systems 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings

    Gepubliceerd in 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    Beeld op de omslag
  7. 17

    Process algebra for parallel and distributed processing

    Gepubliceerd in 2009
    Boek


    Beeld op de omslag
  8. 18

    Descriptional complexity of formal systems 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings

    Gepubliceerd in 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    Beeld op de omslag
  9. 19

    Computer performance engineering 8th European performance engineering workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011. proceedings

    Gepubliceerd in 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    Beeld op de omslag
  10. 20

    FM 2011: formal methods 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings

    Gepubliceerd in 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    Beeld op de omslag

Zoekinstrumenten: