Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Tools and Methods of Program Analysis Vladimir Itsykson

Tools and Methods of Program Analysis

4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Szerző: Vladimir Itsykson, Andre Scedrov, Viktor Zakharov
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Springer International Publishing AG
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 201 Ft
This book constitutes the refereed proceedings of the 4 th International Conference on Tools and Met...

Információk a könyvről

Szerző
Vladimir Itsykson, Andre Scedrov, Viktor Zakharov
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2017
oldal
209
EAN
9783319717333
ISBN
3319717332
Enbook ID
18376661
Kiadó
Springer International Publishing AG
Súly
355
Méretek
155 x 235 x 12

Teljes leírás

This book constitutes the refereed proceedings of the 4 th International Conference on Tools and Methods for Program Analysis, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers. The 12 revised full papers and 5 revised short papers presented together with three abstracts of keynote talks were carefully reviewed and selected from 51 submissions. The papers deal with topics such as software test automation, static program analysis, verification, dynamic methods of program analysis, testing and analysis of parallel and distributed systems, testing and analysis of high-load and high-availability systems, analysis and verification of hardware and software systems, methods of building quality software, tools for software analysis, testing and verification.

Érdekelheti

Social Work in the Community

Dr Mark Baldwin
14 113 Ft

Girls on Film

Alicia Malone
5 106 Ft

Elizabeth II

Chris Jackson
12 797 Ft

Hinduism and Ramayana

Parashar Singh M Parashar
5 979 Ft

Verdun Regiment

Johnathan
9 658 Ft

Christmas Every Day and Other Stories

William Dean Howells
2 827 Ft

Contemporary Turkey: Avoiding the Mistakes of Post-WWII Vietnam

U S Army War College
5 471 Ft

Peeps at People

Robert Cortes Holliday
9 235 Ft

The Panchatantra-Text of Purnabhadra: And Its Relation to Texts of Allied Recensions as Shown in Parallel Specimens

Johannes Hertel
8 173 Ft

Extracts from the Records of Colchester.

Charles M Taintor
6 434 Ft

Christianity in its Cradle

Francis William Newman
7 380 Ft

Paul Kossoff: All Right Now

James J.P.
19 174 Ft

Revit Architecture 2018 for Designers

Douglas R. Seidler
36 948 Ft

C*-Algebras and Applications to Physics

H. Araki
9 658 Ft

Neuropsychological Assessment and Intervention for Youth

American Psychological Association
29 595 Ft

Psychophysics of Speech Perception

M.E. Schouten
114 646 Ft

My Human Body Infographic Sticker Activity Book

John Dearden
3 179 Ft

Information Processing in Cells and Tissues

Mike Holcombe
19 201 Ft

Games and Decisions

Robert Duncan Luce
9 645 Ft

Million Dollar Referrals: The Secrets to Building a Perpetual Client List to Generate a Seven-Figure Income

Alan Weiss
10 603 Ft

Beginning iOS Storyboarding

Rory Lewis
11 469 Ft

Family Karma

C S Thompson
7 157 Ft

P-I-L-A-T-E-S Instructor Manual Cadillac Levels 1 and 2

CATHERINE WILKS
8 089 Ft

Lean Startup

Eric Ries
8 624 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

100 PRIMERAS PALABRAS

NOSY CROW
3 451 Ft

Chemisches Zentralblatt / Autoren- und Patentregister für das Jahr ..., 128. Jahrgang, 1957, I. Halbjahr 1: Januar ? Juni

No Contributor
99 334 Ft

Matilda

Quentin Blake
5 757 Ft

Le petit journal de mon bébé

9 997 Ft

Jeevan Ek Anveshan

J. Krishnamurti
8 187 Ft

Diagnoza rak

Grinblat Boris
4 285 Ft

Der Teufel von London

Thomas Riedel
5 458 Ft

Etty Hillesum : la inteligencia del corazón

Wanda Tommasi
7 875 Ft

El arte de no ser egoísta : Una reflexión sobre la moral y los obstáculos para practicarla

Richard David Precht
11 866 Ft

Die Rhetorische Architektur Erstinstanzlicher Strafentscheidungen

Lewis Atholl Johnston
25 015 Ft