Skip to content
Toggle navigation
SEAL
Language
English
Malay
中文(简体)
தமிழ்
اللغة العربية
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Accession No
Control No
Find
Advanced
Modern formal methods and appl...
Holdings
Cite this
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Export to MARC
Export to MARCXML
Modern formal methods and applications
Published:
Dordrecht:
Springer,
2006.
Subjects:
Formal methods (Computer science)
Formal methods (Computer science) --
>
Industrial applications
Holdings
Description
Preview
Similar Items
Staff View
KOLEKSI TERBUKA
Call Number:
QA 76.9 F67 M6
Accession
Item Category
Format
Status
Notes
1100041131
Open Shelf
Book
AVAILABLE
Similar Items
Formal methods: foundations and applications : 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29 - October 1, 2014, Proceedings Christiano Braga [et al.], (eds.)..
Published: (2015)
Industrial strength formal methods in practice Michael G. Hinchey and Jonathan P. Bowen.
Published: (1999)
Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29 December 2, 2005 : proceedings Judi Romijn, Graeme Smith, Jaco van de Pol (eds.).
Published: (2005)
FM 2015: Formal Methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings edited by Nikolaj Bjorner, Frank de Boer..
Published: (2015)
Software engineering and formal methods : SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014 : revised selected papers editors Carlos Canal, Akram Idani.
Published: (2015)
×
Loading...
