Citronic

Tools and Methods for Program Analysis : 4th International Conference, Tmpa 2...

Description: Tools and Methods for Program Analysis : 4th International Conference, Tmpa 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers, Paperback by Itsykson, Vladimir (EDT); Scedrov, Andre (EDT); Zakharov, Viktor (EDT), ISBN 3319717332, ISBN-13 9783319717333, Like New Used, Free shipping in the US

This book constitutes the refereed proceedings of the 4th International Conference onTools and Methods for Program Analysis, TMPA 2017, Moscow, Russia, March 3-4, 2017.
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.

Price: 66.16 USD

Location: Jessup, Maryland

End Time: 2025-01-16T23:22:40.000Z

Shipping Cost: 0 USD

Product Images

Tools and Methods for Program Analysis : 4th International Conference, Tmpa 2...

Item Specifics

Return shipping will be paid by: Buyer

All returns accepted: Returns Accepted

Item must be returned within: 14 Days

Refund will be given as: Money Back

Return policy details:

Book Title: Tools and Methods for Program Analysis : 4th International Confer

Number of Pages: Xviii, 209 Pages

Publication Name: Tools and Methods for Program Analysis : 4th International Conference, Tmpa 2017, Moscow, Russia, March 3-4, 2017

Language: English

Publisher: Springer International Publishing A&G

Subject: Systems Architecture / General, Software Development & Engineering / Quality Assurance & Testing, Software Development & Engineering / General, Computer Simulation

Publication Year: 2017

Features: Revised

Type: Textbook

Item Weight: 16 Oz

Author: Andre Scedrov

Subject Area: Computers

Item Length: 9.3 in

Series: Communications in Computer and Information Science Ser.

Item Width: 6.1 in

Format: Trade Paperback

Recommended

Wire Stripping and Twisting Tool for Drill, Wire Stripper Professional Electr...
Wire Stripping and Twisting Tool for Drill, Wire Stripper Professional Electr...

$17.95

View Details
Capri Tools Deep Socket, 1/4 in. Drive, 6-Point, Metric and SAE Sizes
Capri Tools Deep Socket, 1/4 in. Drive, 6-Point, Metric and SAE Sizes

$6.99

View Details
Leather Craft Tools, 60 Pieces Leather Working Tools and Supplies with Storag...
Leather Craft Tools, 60 Pieces Leather Working Tools and Supplies with Storag...

$89.99

View Details
Dirt Bike Tire Changing Tools for Enduro and Motocross
Dirt Bike Tire Changing Tools for Enduro and Motocross

$97.65

View Details
MWZ 4 Legendary Tools And 4 Pack A Punch 3 Crystal Consumables
MWZ 4 Legendary Tools And 4 Pack A Punch 3 Crystal Consumables

$5.00

View Details
Wire Stripping Twisting Tools for Drill Fast Electric and Hand Wire Stripper
Wire Stripping Twisting Tools for Drill Fast Electric and Hand Wire Stripper

$9.49

View Details
Capri Tools 3/8 in. Drive Shallow and Deep 6-Point Socket Set, Metric, 30-Piece
Capri Tools 3/8 in. Drive Shallow and Deep 6-Point Socket Set, Metric, 30-Piece

$79.99

View Details
20V Cordless 6-Tool Combo Kit with 3 Ah Battery, 1.5 Ah Battery, and Charger
20V Cordless 6-Tool Combo Kit with 3 Ah Battery, 1.5 Ah Battery, and Charger

$149.90

View Details
36 Metal wedges for hammers, hatchet, axes and mauls 3 sizes
36 Metal wedges for hammers, hatchet, axes and mauls 3 sizes

$13.00

View Details
Comickers Art: Tools and Techniques for Drawing Amazing Manga - Paperback - GOOD
Comickers Art: Tools and Techniques for Drawing Amazing Manga - Paperback - GOOD

$5.89

View Details