<![CDATA[ Search for 'su:"Formal methods Computer science"']]>

<![CDATA[ Search for 'su:"Formal methods Computer science"']]> http://opac.daiict.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=su%3A%22Formal%20methods%20Computer%20science%22&format=rss2 11 0 50 Way of Z : practical programming with formal methods ISBN 0521559766 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=2997 By Jacky, Jonathan. Cambridge Cambridge University Press 1997 . xviii, 350 p. 24 cm.. 0521559766

Place Hold on Way of Z : practical programming with formal methods

]]> http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=2997 Industrial-strength formal methods in practice ISBN 1852336404 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=5509 By Bowen, Jonathan P. . London: Springer, 1999 . xvi, 400 p.; 24 cm.. 1852336404

Place Hold on Industrial-strength formal methods in practice

]]> http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=5509 Constructing correct software ISBN 1852338202 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=5532 By Cooke, John. London: Springer-Verlag, 2005 . xxi, 509 p.; 24 cm.. 1852338202

Place Hold on Constructing correct software

]]> http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=5532 Agent technology from a formal perspective ISBN 1852339470 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=5544 By Rouff, Christopher A.. New York: Springer, 2005 . xvi, 354 p.; 25 cm.. 1852339470

Place Hold on Agent technology from a formal perspective

]]> http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=5544 Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday ISBN 3540249362 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=6027 By Kreowski, Hans-Jorg. Berlin: Springer-Verlag, 2005 . xxvii, 411 p.; 24 cm.. 3540249362

Place Hold on Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday

]]> http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=6027 Object-oriented systems analysis and design using UML ISBN 9780070597914 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=10664 By Bennett, Simon. New Delhi: McGraw-Hill, 2002 . xviii, 612 p.; 25 cm.. 9780070597914

Place Hold on Object-oriented systems analysis and design using UML

]]> http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=10664 Principle of cyber-physical systems ISBN 9780262029117 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=13795 By Alur, Rajeev. Cambridge: MIT Press, 2015 . xii, 446 p.; 24 cm.. 9780262029117

Place Hold on Principle of cyber-physical systems

]]> http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=13795 Formal specification using Z. ISBN 9780333763278 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=14421 By Lightfoot, David. Basingstoke: Palgrave, 2001 . xii,164p; 25 cm.. 9780333763278

Place Hold on Formal specification using Z.

]]> http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=14421 Teamwork in multi agent systems : a formal approach ISBN 9780470699881 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=15876 By Dunin-Keplicz, Barbara. Chichester: John Wiley & Sons, 2010 . xix, 224 p.; 26 cm.. 9780470699881

Place Hold on Teamwork in multi agent systems : a formal approach

]]> http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=15876 Formal methods for components and objects : second international symposium, Fmco 2003 Leiden, the Netherlands, November 2003 ISBN 9783540229421 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=22218 By Boer, Ffrank S. de. New York: Springer, 2004 . viii, 371 p.; 24 cm.. 9783540229421

Place Hold on Formal methods for components and objects : second international symposium, Fmco 2003 Leiden, the Netherlands, November 2003

]]> http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=22218 Formal techniques for networked and distributed systems - FORTE 2002 ISBN 3540001417 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=27126 By Peled, Doron A.. Berlin: Springer-Verlag, 2002 . ; 3540001417

Place Hold on Formal techniques for networked and distributed systems - FORTE 2002

]]> http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=27126