Model checking

Name: Model checking
ISBN: 9780585385587

Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled

0 / 0

0 comments

Որքա՞ն է ձեզ դուր եկել այս գիրքը:

Ինչպիսի՞ն է բեռնված ֆայլի որակը:

Բեռնեք գիրքը` գնահատելու դրա որակը

Ինչպիսի՞ն է բեռնված ֆայլերի որակը:

Model Checking is bound to be the pre-eminent source for research, teaching, and industrial practice on this important subject. The authors include the foremost experts. This is the first truly comprehensive treatment of a line of research that has gone from conception to industrial practice in only two decades.

Կատեգորիաներ:

Computers - Programming

Տարի:

1999

Հրատարակչություն:

MIT Press

Լեզու:

english

Էջեր:

326

ISBN 10:

0585385580