Kenneth L. McMillan: Z-Library সাইটে অনুসন্ধান করুন

জ্ঞান ও সংস্কৃতিতে অবাধ অ্যাক্সেস।

Don't use scam websites

1

Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

Springer-Verlag Berlin Heidelberg

Roderick Bloem, Robert Könighofer (auth.), Kenneth L. McMillan, Xavier Rival (eds.)

সাল:

2014

ভাষা:

english

ফাইল:

PDF, 8.22 MB

0 / 0

english, 2014

2

Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings

Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Kenneth L. McMillan (auth.), Eran Yahav (eds.)

সাল:

2011

ভাষা:

english

ফাইল:

PDF, 3.85 MB

0 / 0

english, 2011

3

Formal Methods in Computer-Aided Design: Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings

Formal Methods in Computer-Aided Design: Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Kenneth L. McMillan (auth.), Ganesh Gopalakrishnan, Phillip Windley (eds.)

সাল:

1998

ভাষা:

english

ফাইল:

PDF, 4.13 MB

0 / 0

english, 1998

4

Symbolic Model Checking

Symbolic Model Checking

Kenneth L. McMillan (auth.)

সাল:

1993

ভাষা:

english

ফাইল:

PDF, 6.48 MB

0 / 0

english, 1993

5

Verification of Digital and Hybrid Systems

Verification of Digital and Hybrid Systems

Springer-Verlag Berlin Heidelberg

Kenneth McMillan (auth.), M. Kemal Inan, Robert P. Kurshan (eds.)

সাল:

2000

ভাষা:

english

ফাইল:

PDF, 9.71 MB

0 / 0

english, 2000

6

Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings

Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Ball, Nikolaj Bjørner, Leonardo de Moura, Kenneth L. McMillan, Margus Veanes (auth.), Alastair Donaldson, David Parker (eds.)

সাল:

2012

ভাষা:

english

ফাইল:

PDF, 4.24 MB

0 / 0

english, 2012

7

Formal Methods in Computer-Aided Design: Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings

Formal Methods in Computer-Aided Design: Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Kenneth L. McMillan (auth.), Ganesh Gopalakrishnan, Phillip Windley (eds.)

সাল:

1998

ভাষা:

english

ফাইল:

PDF, 4.14 MB

0 / 0

english, 1998

8

Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings

Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Ball, Nikolaj Bjørner, Leonardo de Moura, Kenneth L. McMillan, Margus Veanes (auth.), Alastair Donaldson, David Parker (eds.)

সাল:

2012

ভাষা:

english

ফাইল:

PDF, 4.69 MB

0 / 0

english, 2012

9

Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings

Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Kenneth L. McMillan (auth.), Eran Yahav (eds.)

সাল:

2011

ভাষা:

english

ফাইল:

PDF, 4.47 MB

0 / 0

english, 2011