Skip to content
Toggle navigation
SEAL
Language
English
Malay
中文(简体)
தமிழ்
اللغة العربية
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Accession No
Control No
Find
Advanced
Design patterns formalization...
Holdings
Cite this
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Export to MARC
Export to MARCXML
Design patterns formalization techniques
Other Authors:
Taibi, Toufik
Published:
Hershey, PA.:
IGI Pub.,
2007.
Subjects:
Software architecture
Formal methods (Computer science)
Software pattens
Holdings
Description
Preview
Similar Items
Staff View
RAK PAMERAN
Call Number:
QA 76.76 .P37 D4 2007
Accession
Item Category
Format
Status
Notes
1100071316
Open Shelf
Book
AVAILABLE
Similar Items
Convolutional neural networks for pattern recognition Syafeeza Ahmad Radzi.
by: Syafeeza Ahmad Radzi
Published: (2016)
Formal specification : techniques and applications Nimal Nissankke.
by: Nissanke
Published: (1999)
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)
Modern formal methods and applications edited by Hossam A. Gabbar.
Published: (2006)
×
Loading...
