Menu
Виж статуса на поръчката
Свържете се с нас
Книга Automated Technology for Verification and Analysis Deepak D'Souza

Automated Technology for Verification and Analysis

Автор: Deepak D'Souza, K. Narayan Kumar
Език: Английски език
Корици: С меки корици
Издател: Springer International Publishing AG
Наличност: Външен склад
Изпращаме след 5-8 дни
52.62 € 102.92 лв
This book constitutes the refereed proceedings of the 15 th International Symposium on Automated Tec...

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

Автор
Deepak D'Souza, K. Narayan Kumar
Език
Английски език
Корици
Книга - С меки корици
Издадена
2017
страници
482
EAN
9783319681665
ISBN
3319681664
Enbook ID
18124989
Издател
Springer International Publishing AG
Теглоt
7548
Размери
155 x 235 x 30

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

This book constitutes the refereed proceedings of the 15 th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017. The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions. The book also contains one invited talk in full-paper length. The contributions are organized in topical sections named: program analysis; model checking and temporal logics; neural networks; learning and invariant synthesis; and hybrid systems and control.

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

Menopause to Matrimony

Shelly Hickman
9.10 € 17.80 лв

Bleacher Report

KING KENNA
14.55 € 28.46 лв

Delorme Atlas & Gazetteer: Alabama

21.81 € 42.65 лв

Hebrew Psalter

William Digby Seymour
25.11 € 49.11 лв

Fastitocalon. Studies in Fantasticism Ancient to Modern (VIII, 1 & 2)

Lukasz Neubauer
27.56 € 53.90 лв

Township Violence and the End of Apartheid

Gary Kynoch
127.31 € 248.99 лв

Ars Rhetorica; or, a Compendium of Rhetoric

T. B.
28.76 € 56.25 лв

Baby Animals Coloring Book 3

Nick Snels
10.00 € 19.56 лв

Dr Chester's Spoken English for Chinese Speakers: Numbers

Dr Myrvin F Chester
10.00 € 19.56 лв

Robin Hood-Freedom's Outlaw

I a Watson
16.10 € 31.50 лв

Algernon Charles Swinburne

Evangelista Maxwell
148.32 € 290.09 лв

Every Place Is Holy Ground: When Religion Is Not Enough

Richard Venus
14.30 € 27.97 лв

Soups & Sides for Every Season

Alyce Morgan
16.10 € 31.50 лв

Carmen's Song

Michael Harris
11.95 € 23.37 лв

Smart Face

Thomas Goodman
14.25 € 27.87 лв

Forestville

Penny Hutten
18.80 € 36.78 лв

Reuben - The Savage Prisoner

Sandra Lynch-Bakken
23.76 € 46.46 лв

Mother Tongues and Nations

Thomas Paul Bonfiglio
204.20 € 399.38 лв

Miracle Mongers and Their Methods

Harry Houdini
16.90 € 33.06 лв

Four Girls and A Compact

Annie Hamilton Donnell
11.40 € 22.30 лв

12 Principles to Wellness

Eleanor R
9.60 € 18.78 лв

Autumn

Susan M. Felch
13.80 € 26.99 лв

Negotiation of Personal Identity

Meena Dhanda
79.43 € 155.36 лв

Forbidden Music

Michael Haas
22.71 € 44.41 лв

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

Callia l'Ateniese

Giovanni Marginesu
68.63 € 134.23 лв

Foukni a rozsviť - Hurá, sněží!

Maria Hoeck
14.60 € 28.56 лв

Heartburn

Ursula Ga?l
11.65 € 22.79 лв

LA PIEGE - THE TRAP

ICKE DAVID
28.96 € 56.64 лв

parfum des iles Borromees

René Boylesve
22.91 € 44.80 лв

Genetika pri neprawil'nom prikuse

Punit Batra
32.81 € 64.17 лв

Možnosť ostrova

Michel Houellebecq
16.90 € 33.06 лв

Marin Perdu En Mer

Jouanneau
18.80 € 36.78 лв

Voytek Kurtyka - L'Art de la liberté

Bernadette Mcdonald
67.53 € 132.07 лв

PIXEL MATHS TERM S OBLIG PROF

Jean-Pierre Bouvier
26.96 € 52.73 лв

Tchisso ou le révolté

Ngako sebastien
14.35 € 28.07 лв

vagabundito

Maira Leticia Rivera Pinto
8.25 € 16.13 лв

Sicilia Nel 1876 ... Libro Primo. (L. F. Condizioni Politiche E Amministrative. Libro Secondo. S. Sonnino. I Contadini.).

Leopoldo Franchetti
26.01 € 50.87 лв

Die Prüfung elektrischer Maschinen

Werner Nürnberg
397.59 € 777.63 лв