Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer Nature Switzerland AG
SKU: 9783030255398
Price: 52.72 EUR
Availability: InStock

Автор: Isil Dillig, Serdar Tasiran

Език:

Корици: С меки корици

Издател: Springer Nature Switzerland AG

Наличност: Външен склад

Изпращаме след 5-8 дни

52.72 € 103.11 лв

This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31s...

Информация за книгата

Автор

Isil Dillig, Serdar Tasiran

Език

Английски език

Корици

Книга - С меки корици

Издадена

2019

страници

673

EAN

9783030255398

ISBN

3030255395

Enbook ID

24027841

Издател

Springer Nature Switzerland AG

Теглоt

1050

Размери

155 x 235 x 38

Пълно описание

This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented toget

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Computer Aided Verification

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също