<![CDATA[UCSC Library Search for '(su:"FORMAL METHODS")']]>

<![CDATA[UCSC Library Search for '(su:"FORMAL METHODS")']]> https://opac.lib.ucsc.cmb.ac.lk/cgi-bin/koha/opac-search.pl?q=ccl=%28su%3A%22FORMAL%20METHODS%22%29&format=rss 10 0 20 APPLICATIONS OF FORMAL METHODS ISBN:0000133669491 https://opac.lib.ucsc.cmb.ac.lk/cgi-bin/koha/opac-detail.pl?biblionumber=24126 By HINCHEY, M.G.:BOWEN, J.P.. PRENTICE HALL : NEWYORK 1995 . 447 p. 0000133669491

Place hold on APPLICATIONS OF FORMAL METHODS

]]> https://opac.lib.ucsc.cmb.ac.lk/cgi-bin/koha/opac-detail.pl?biblionumber=24126 APPLICATIONS OF FORMAL METHODS ISBN:0000133669491 https://opac.lib.ucsc.cmb.ac.lk/cgi-bin/koha/opac-detail.pl?biblionumber=24733 By HINCHEY,M. & BOWEN, J. (ED.). LONDON : PRINTICE HALL 1995 . 447 p. 0000133669491

Place hold on APPLICATIONS OF FORMAL METHODS

]]> https://opac.lib.ucsc.cmb.ac.lk/cgi-bin/koha/opac-detail.pl?biblionumber=24733 Applied Formal Methods- FM - Trends 98 : Lecture Notes in Computer Science ISBN:0003540664629 https://opac.lib.ucsc.cmb.ac.lk/cgi-bin/koha/opac-detail.pl?biblionumber=27679 By Hutter, D.: (et-al). Springer: Tokyo 1998 . 376 p. 0003540664629

Place hold on Applied Formal Methods- FM - Trends 98 : Lecture Notes in Computer Science

]]> https://opac.lib.ucsc.cmb.ac.lk/cgi-bin/koha/opac-detail.pl?biblionumber=27679 FME 2001 Formal Methods for increasing software productivity :Lecture notes in computer science:Proceedings ISBN:0003540417915 https://opac.lib.ucsc.cmb.ac.lk/cgi-bin/koha/opac-detail.pl?biblionumber=27410 By Oliveira, J.N. : Zave, Pam(Eds). Springer: Tokyo 2001 . 628 p. 0003540417915

Place hold on FME 2001 Formal Methods for increasing software productivity :Lecture notes in computer science:Proceedings

]]> https://opac.lib.ucsc.cmb.ac.lk/cgi-bin/koha/opac-detail.pl?biblionumber=27410 FME 97 : Industrial Applications and Strengthened Foundations of Formal Methods : Lecture Notes in Computer Science ISBN:0003540635335 https://opac.lib.ucsc.cmb.ac.lk/cgi-bin/koha/opac-detail.pl?biblionumber=27595 By Fitzgerald, J.: Jones, C.B.: Lucas, P.:. Springer: Tokyo 1997 . 684 p. 0003540635335

Place hold on FME 97 : Industrial Applications and Strengthened Foundations of Formal Methods : Lecture Notes in Computer Science

]]> https://opac.lib.ucsc.cmb.ac.lk/cgi-bin/koha/opac-detail.pl?biblionumber=27595 Forrmal Methods for industrial applications :Specifying and programming the Steam Boiler Control : lecture notes in computer science :( With CD) ISBN:0003540619291 https://opac.lib.ucsc.cmb.ac.lk/cgi-bin/koha/opac-detail.pl?biblionumber=27543 By Abrial, Jean-Raymond (et-al) (Ed.). Springer: 1996 . 509 p. 0003540619291

Place hold on Forrmal Methods for industrial applications :Specifying and programming the Steam Boiler Control : lecture notes in computer science :( With CD)

]]> https://opac.lib.ucsc.cmb.ac.lk/cgi-bin/koha/opac-detail.pl?biblionumber=27543 Integrated formal methods : Lecture notes in computer science : Proceedings ISBN:0003540411966 https://opac.lib.ucsc.cmb.ac.lk/cgi-bin/koha/opac-detail.pl?biblionumber=27397 By Grieskamp, W. (et-al)(Eds.). Springer: Tokyo 2000 . 439 p. 0003540411966

Place hold on Integrated formal methods : Lecture notes in computer science : Proceedings

]]> https://opac.lib.ucsc.cmb.ac.lk/cgi-bin/koha/opac-detail.pl?biblionumber=27397 AN INTRODUCTION TO FORMAL LANGUAGES AND AUTOMATA ISBN:0008173192243 https://opac.lib.ucsc.cmb.ac.lk/cgi-bin/koha/opac-detail.pl?biblionumber=26781 By LINZ P.. INDIA : PRENTICE HALL 1997 . 377 p. 0008173192243

Place hold on AN INTRODUCTION TO FORMAL LANGUAGES AND AUTOMATA

]]> https://opac.lib.ucsc.cmb.ac.lk/cgi-bin/koha/opac-detail.pl?biblionumber=26781 AN INTRODUCTION TO FORMAL METHODS ISBN:047192489X https://opac.lib.ucsc.cmb.ac.lk/cgi-bin/koha/opac-detail.pl?biblionumber=25584 By DILLER , ANTONI. NEW YORK : JOHN WILEY 1990 . 309 p. 047192489X

Place hold on AN INTRODUCTION TO FORMAL METHODS

]]> https://opac.lib.ucsc.cmb.ac.lk/cgi-bin/koha/opac-detail.pl?biblionumber=25584 The Z Formal Specification Notation : Lecture Notes in Computer Science : Proceedings ISBN:0003540627170 https://opac.lib.ucsc.cmb.ac.lk/cgi-bin/koha/opac-detail.pl?biblionumber=27562 By Bowen, J.P.: Hinchey, M.G. : Till, D.:. Springer: Tokyo 1997 . 433 p. 0003540627170

Place hold on The Z Formal Specification Notation : Lecture Notes in Computer Science : Proceedings

]]> https://opac.lib.ucsc.cmb.ac.lk/cgi-bin/koha/opac-detail.pl?biblionumber=27562