Menu
Zistiť stav objednávky
Kontaktujte nás
Kniha Automated Technology for Verification and Analysis Deepak D'Souza

Automated Technology for Verification and Analysis

Autor: Deepak D'Souza, K. Narayan Kumar
Jazyk: Angličtina
Väzba: Brožovaná
Vydavateľ: Springer International Publishing AG
Dostupnosť: Skladom u dodávateľa
Odosielame za 5-8 dní
50.15 €
This book constitutes the refereed proceedings of the 15 th International Symposium on Automated Tec...

Informácie o knihe

Autor
Deepak D'Souza, K. Narayan Kumar
Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2017
Stránok
482
EAN
9783319681665
ISBN
3319681664
Enbook ID
18124989
Vydavateľ
Springer International Publishing AG
Hmotnosť
7548
Rozmery
155 x 235 x 30

Kompletný popis

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.

Mohlo by vás zaujímať

Baby Animals Coloring Book 3

Nick Snels
9.51 €

Autumn

Susan M. Felch
13.05 €

Carmen's Song

Michael Harris
11.38 €

Soups & Sides for Every Season

Alyce Morgan
15.30 €

Every Place Is Holy Ground: When Religion Is Not Enough

Richard Venus
13.63 €

Algernon Charles Swinburne

Evangelista Maxwell
142.52 €

Robin Hood-Freedom's Outlaw

I a Watson
15.30 €

Dr Chester's Spoken English for Chinese Speakers: Numbers

Dr Myrvin F Chester
9.51 €

Menopause to Matrimony

Shelly Hickman
8.73 €

Ars Rhetorica; or, a Compendium of Rhetoric

T. B.
27.48 €

Township Violence and the End of Apartheid

Gary Kynoch
122.30 €

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

Lukasz Neubauer
26.30 €

The Sea-Brownie Reader, Part 2: For Second-Year Classes (1911)

John Walter Davis
28.36 €

Hebrew Psalter

William Digby Seymour
23.94 €

Delorme Atlas & Gazetteer: Alabama

20.41 €

Bleacher Report

KING KENNA
13.63 €

Forestville

Penny Hutten
18.94 €

Forbidden Music

Michael Haas
21.39 €

Warcraft

Daniel Wallace
31.21 €

Smart Face

Thomas Goodman
13.44 €

Oxygen in Catalysis

Jerzy Haber
434.46 €

War and the City

G. J. Ashworth
256.49 €

Negotiation of Personal Identity

Meena Dhanda
75.77 €

12 Principles to Wellness

Eleanor R
9.02 €

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Callia l'Ateniese

Giovanni Marginesu
65.76 €

parfum des iles Borromees

René Boylesve
21.68 €

Die Prüfung elektrischer Maschinen

Werner Nürnberg
379.88 €

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

Maria Hoeck
12.21 €

Joyeuse Bande D'Atzavara(la)

Manuel Vzquez
10.49 €

Heartburn

Ursula Ga?l
11.08 €

LA PIEGE - THE TRAP

ICKE DAVID
27.67 €

Genetika pri neprawil'nom prikuse

Punit Batra
31.11 €

Aaltje Nieuw Nederlandsch Kookboek: Achtfiende Geheel Opnieuw Bewerkte Druk Van aaltje De Volmaakte En Zuinige Keukenmeid....

O. A. Corver
29.14 €

Colores

MARTIN MARTINEZ
4.21 €

Možnosť ostrova

Michel Houellebecq
13.17 €

Marin Perdu En Mer

Jouanneau
17.86 €

UE1 - Physiologie

Gay-Queheillard
18.15 €

Voytek Kurtyka - L'Art de la liberté

Bernadette Mcdonald
64.68 €

PIXEL MATHS TERM S OBLIG PROF

Jean-Pierre Bouvier
25.71 €

Tchisso ou le révolté

Ngako sebastien
13.63 €

vagabundito

Maira Leticia Rivera Pinto
7.84 €

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

Leopoldo Franchetti
24.83 €