Proceedings of the 2014 International SPIN Symposium on Model Checking of Software

Proceedings of the 2014 International SPIN Symposium on Model Checking of Software

Xehetasun bibliografikoak
Formatua:	Baliabide elektronikoa Liburua
Hizkuntza:	English
Argitaratua:	Association for Computing Machinery (ACM), 7/21/14
Gaiak:	Conference papers and proceedings.
Sarrera elektronikoa:	Full text available on Research4Life (ACM)
Classic Catalogue:	View this record in Classic Catalogue

Antzeko izenburuak

Proceedings of the 8th international SPIN workshop on Model checking of software

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software

Model Checking Software
Argitaratua: (2013)

The spin model checker : primer and reference manual /
nork: Holzmann, Gerald J., 1951-
Argitaratua: (2004)

Reality Check
nork: Linse

Tiger Check
nork: Fino

Verification, Model Checking, and Abstract Interpretation
Argitaratua: (2013)

Hate Spin
nork: George

Check Point Software Technologies Ltd SWOT Analysis

2014 International Conference on Signal Processing and Integrated Networks (SPIN)

Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation

Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation

Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation

Science Spin K-1

Science Spin - Early Primary

The weaving, spinning, and dyeing book /
nork: Brown, Rachel, 1926-
Argitaratua: (1979)

How to Check Integrity of Fiscal Data /
nork: Khemani, Pokar
Argitaratua: (2016)

Check Point Software Technologies Ltd. MarketLine Company Profile

Performance evolution of Spin Valve transistor
nork: Rashid, Shahriar, et al.
Argitaratua: (2019)

Performance evolution of spin valve transistor
nork: Rashid, Shahriar, et al.
Argitaratua: (2018)

Money for Nothing and Checks for Free : Recent Developments in U.S. Subprime Mortgage Markets /
nork: Mills, Paul
Argitaratua: (2007)

Defending Checks and Balances in EU Member States
Argitaratua: (2021)

Democratic consolidation in Bangladesh: a reality check
nork: Zakaria, Sultan Mohammed
Argitaratua: (2018)

Delayed submitting of check list for concreting work
nork: Brac University
Argitaratua: (2023)

Business location recommendation using check-in data
nork: Ahmed, Nasim Uddin, et al.
Argitaratua: (2018)

Signal Processing and Integrated Networks (SPIN), International Conference on

Measuring the effectiveness of internal control of Otto Spinning Limited
nork: Chakraborty, Rahul
Argitaratua: (2024)

Spin Fluctuation Theory of Itinerant Electron Magnetism
nork: Takahashi
Argitaratua: (2013)

DocCheck AG MarketLine Company Profile

European Information Society: A Reality Check 2003

Bangla grammar and spelling check using machine learning
nork: Ahmed, Foysal, et al.
Argitaratua: (2023)

Proceedings of the 2014 International Symposium on Software Testing and Analysis

2014 European Modelling Symposium

Executive Teams in Research-Based Spin-Off Companies
nork: Tietz
Argitaratua: (2013)

HolidayCheck Group AG MarketLine Company Profile

FT Guide to Business Numeracy : How to Check the Figures for Yourself
nork: Gough, Leo

Experts demand urban facilities in rural areas to check migration
nork: New Age
Argitaratua: (2019)

2014 Brazilian Symposium on Software Engineering

Ilshin Spinning Co., Ltd. MarketLine Company Profile

Annual health check up for the members of BRAC's village organisation: an observation
nork: Shahaduzzaman
Argitaratua: (2019)