Author books / Книги автора Howard Barringer Klaus Havelund David Rydeheard Alex Groce (auth.) Saddek Bensalem Doron A. Peled (e » Page 17 » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Howard Barringer Klaus Havelund David Rydeheard Alex Groce (auth.) Saddek Bensalem Doron A. Peled (e » Page 17

book Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

pdf

Author: Howard Barringer Klaus Havelund David Rydeheard Alex Groce (auth.) Saddek Bensalem Doron A. Peled (eds.)
Language: English
Year: 2009

00

27.01.2024

2

0

book Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings

Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings

pdf

Author: Radhia Cousot (auth.) Francesco Logozzo Doron A. Peled Lenore D. Zuck (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0

book Computer Aided Verification: 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings

Computer Aided Verification: 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings

pdf

Author: David L. Dill (auth.) Nicolas Halbwachs Doron Peled (eds.)
Language: English
Year: 1999

00

26.01.2024

0

0

book Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings

Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings

pdf

Author: Doron Peled (auth.) Rajeev Alur Doron A. Peled (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Nonaqueous Electrochemistry

Nonaqueous Electrochemistry

pdf

Author: Doron Aurbach
Language: English
Year: 1999

00

26.01.2024

0

0

book Strong Asymptotics for Extremal Polynomials Associated with Weights on R

Strong Asymptotics for Extremal Polynomials Associated with Weights on R

djvu

Author: Doron S. Lubinsky
Language: English
Year: 1988

00

26.01.2024

0

0

book The difference engine: Charles Babbage

The difference engine: Charles Babbage

djvu

Author: Doron Swade
Language: English
Year: 2001

00

26.01.2024

6

0

book Model checking

djvu

Author: Edmund M. Clarke Jr. Orna Grumberg Doron A. Peled
Language: English
Year: 1999

00

26.01.2024

1

0

book A=B (symbolic summation algorithms)

A=B (symbolic summation algorithms)

pdf

Author: Marko Petkovsek Herbert S. Wilf Doron Zeilberger
Language: English
Year: 1997

00

26.01.2024

0

0

book Model checking

djvu

Author: Edmund M. Clarke Jr. Orna Grumberg Doron A. Peled
Language: English
Year: 1999

00

26.01.2024

0

0