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

<![CDATA[UCSC Library Search for '(su:"formal techniques")']]> https://opac.lib.ucsc.cmb.ac.lk/cgi-bin/koha/opac-search.pl?q=ccl=%28su%3A%22formal%20techniques%22%29&format=rss 3 0 50 Formal Techniques in Real Time and Fault Tolerant Systems : lecture notes in computer scienc : Proceedings e ISBN:0003540410554 https://opac.lib.ucsc.cmb.ac.lk/cgi-bin/koha/opac-detail.pl?biblionumber=27368 By Joseph, M. Springer: Tokyo 2000 . 303 p. 0003540410554

Place hold on Formal Techniques in Real Time and Fault Tolerant Systems : lecture notes in computer scienc : Proceedings e

]]> https://opac.lib.ucsc.cmb.ac.lk/cgi-bin/koha/opac-detail.pl?biblionumber=27368 Formal Techniques in Real-Time and Fault -Tolerant Systems : Lecture Notes in Computer Science : Proceedings ISBN:0003540616489 https://opac.lib.ucsc.cmb.ac.lk/cgi-bin/koha/opac-detail.pl?biblionumber=27531 By Jonsson, B.: Parrow, J.:. Springer: Tokyo 1996 . 478 p. 0003540616489

Place hold on Formal Techniques in Real-Time and Fault -Tolerant Systems : Lecture Notes in Computer Science : Proceedings

]]> https://opac.lib.ucsc.cmb.ac.lk/cgi-bin/koha/opac-detail.pl?biblionumber=27531 Formal techniques in real-time and fault-tolerant systems : lecture notes in computer science : Proceedings ISBN:0003540650032 https://opac.lib.ucsc.cmb.ac.lk/cgi-bin/koha/opac-detail.pl?biblionumber=27639 By Ravn, A.P. (et-al). Springer: Tokyo 1998 . 338 p. 0003540650032

Place hold on Formal techniques in real-time and fault-tolerant systems : lecture notes in computer science : Proceedings

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