Formal method industrial use from model to the code /
Đã lưu trong:
| Tác giả của công ty: | |
|---|---|
| Tác giả khác: | |
| Định dạng: | Điện tử eBook |
| Ngôn ngữ: | Tiếng Anh |
| Được phát hành: |
London : Hoboken, N.J. :
ISTE ; Wiley,
2012.
|
| Loạt: | Industrial implementation of formal methods series.
|
| Những chủ đề: | |
| Truy cập trực tuyến: | An electronic book accessible through the World Wide Web; click to view |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
Những quyển sách tương tự
Formal software development from VDM to Java /
Bằng: Charatan, Quentin
Được phát hành: (2004)
Bằng: Charatan, Quentin
Được phát hành: (2004)
Formal methods applied to complex systems : implementation of the B method /
Được phát hành: (2014)
Được phát hành: (2014)
Formal techniques for networked and distributed systems FORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea /
Được phát hành: (2001)
Được phát hành: (2001)
Software specification methods
Được phát hành: (2006)
Được phát hành: (2006)
Computers in language research
Được phát hành: (1983)
Được phát hành: (1983)
Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking /
Bằng: Drusinsky, Doron
Được phát hành: (2006)
Bằng: Drusinsky, Doron
Được phát hành: (2006)
UML 2 semantics and applications
Được phát hành: (2009)
Được phát hành: (2009)
Teamwork in multi-agent systems a formal approach /
Bằng: Dunin-Kȩplicz, Barbara
Được phát hành: (2010)
Bằng: Dunin-Kȩplicz, Barbara
Được phát hành: (2010)
Formalizing natural languages : the NooJ approach /
Bằng: Silberztein, Max
Được phát hành: (2016)
Bằng: Silberztein, Max
Được phát hành: (2016)
Communicating embedded systems software and design : formal methods /
Được phát hành: (2010)
Được phát hành: (2010)
Scientific applications of language methods
Được phát hành: (2011)
Được phát hành: (2011)
Drools developers cookbook over 40 recipes for creating a robust business rules implementation by using JBoss Drools rules /
Bằng: Amador, Lucas
Được phát hành: (2012)
Bằng: Amador, Lucas
Được phát hành: (2012)
S-BPM in the Production Industry A Stakeholder Approach /
Được phát hành: (2017)
Được phát hành: (2017)
Drools JBoss rules 5.X developer's guide define and execute your business rules with Drools /
Bằng: Bali, Michal
Được phát hành: (2013)
Bằng: Bali, Michal
Được phát hành: (2013)
Oracle ADF enterprise application development - made simple successfully plan, develop, test, and deploy applications with Oracle ADF /
Bằng: Vesterli, Sten E.
Được phát hành: (2011)
Bằng: Vesterli, Sten E.
Được phát hành: (2011)
Oracle ADF enterprise application development-made simple : successfully plan, develop, test, and deploy enterprise applications with Oracle ADF /
Bằng: Vesterli, Sten E.
Được phát hành: (2011)
Bằng: Vesterli, Sten E.
Được phát hành: (2011)
Formal models, languages and applications
Được phát hành: (2006)
Được phát hành: (2006)
Oracle Siebel CRM 8 developer's handbook a practical guide to configuring, automating, and extending Siebel CRM applications /
Bằng: Hansal, Alexander
Được phát hành: (2011)
Bằng: Hansal, Alexander
Được phát hành: (2011)
Drools JBoss rules 5.0 developer's guide develop rules-based business logic using the Drools platform /
Bằng: Bali, Michal
Được phát hành: (2009)
Bằng: Bali, Michal
Được phát hành: (2009)
DCE replacement strategies
Được phát hành: (2003)
Được phát hành: (2003)
Testamentary formalities /
Được phát hành: (2011)
Được phát hành: (2011)
Spring Batch essentials : design, develop, and deliver robust batch applications with the power of the Spring Batch framework /
Bằng: Rao, P. Raja Malleswara
Được phát hành: (2015)
Bằng: Rao, P. Raja Malleswara
Được phát hành: (2015)
Two-step approaches to natural language formalisms
Bằng: Morawietz, Frank, 1968-
Được phát hành: (2003)
Bằng: Morawietz, Frank, 1968-
Được phát hành: (2003)
S-BPM in the Wild Practical Value Creation /
Được phát hành: (2015)
Được phát hành: (2015)
Invisible engines how software platforms drive innovation and transform industries /
Bằng: Evans, David S. (David Sparks), 1954-
Được phát hành: (2006)
Bằng: Evans, David S. (David Sparks), 1954-
Được phát hành: (2006)
JBoss drools business rules capture, automate, and reuse your business processes in a clear English language that your computer can understand /
Bằng: Browne, Paul
Được phát hành: (2009)
Bằng: Browne, Paul
Được phát hành: (2009)
Developing distributed and E-commerce applications /
Bằng: Ince, Darrel
Được phát hành: (2004)
Bằng: Ince, Darrel
Được phát hành: (2004)
Russian formalism history-doctrine /
Bằng: Erlich, Victor, 1914-2007
Được phát hành: (1980)
Bằng: Erlich, Victor, 1914-2007
Được phát hành: (1980)
Domain architectures models and architectures for UML applications /
Bằng: Duffy, Daniel J.
Được phát hành: (2004)
Bằng: Duffy, Daniel J.
Được phát hành: (2004)
S-BPM Illustrated A Storybook about Business Process Modeling and Execution /
Bằng: Fleischmann, Albert, et al.
Được phát hành: (2013)
Bằng: Fleischmann, Albert, et al.
Được phát hành: (2013)
Particiupation learning and change : commonwealth approaches to non-formal eduction. /
Được phát hành: (1980)
Được phát hành: (1980)
Legitimate applications of peer to peer networks
Bằng: Verma, Dinesh, 1964-
Được phát hành: (2004)
Bằng: Verma, Dinesh, 1964-
Được phát hành: (2004)
Report of conference and workshop on non-formal eduction and the rural poor /
Bằng: Niehoff, Richard O.
Được phát hành: (1977)
Bằng: Niehoff, Richard O.
Được phát hành: (1977)
Formal languages, automata and numeration systems 2 /
Bằng: Rigo, Michel
Được phát hành: (2014)
Bằng: Rigo, Michel
Được phát hành: (2014)
B2B application integration : e-business--enable your enterprise /
Bằng: Linthicum, David S., 1962-
Được phát hành: (2001)
Bằng: Linthicum, David S., 1962-
Được phát hành: (2001)
DFSMStvs application migration guide June 2003 /
Được phát hành: (2003)
Được phát hành: (2003)
Microsoft Windows Intune 2.0 quickstart administration : manage your PCs in the enterprise through the Cloud with Microsoft Windows Intune /
Bằng: Overton, David
Được phát hành: (2012)
Bằng: Overton, David
Được phát hành: (2012)
Non-formal education strategies and management /
Bằng: Napitupulu, W. P.
Được phát hành: (1978)
Bằng: Napitupulu, W. P.
Được phát hành: (1978)
Subject-Oriented Business Process Management
Bằng: Fleischmann, Albert, et al.
Được phát hành: (2012)
Bằng: Fleischmann, Albert, et al.
Được phát hành: (2012)
Formal languages, automata and numeration systems 1 : applications to recognizability and decidability /
Bằng: Rigo, Michel
Được phát hành: (2014)
Bằng: Rigo, Michel
Được phát hành: (2014)