Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

Theoretical Aspects of Computing ICTAC 2016

Best Price (Coupon Required):
Buy Theoretical Aspects of Computing ICTAC 2016 for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.

Set a price drop alert to never miss an offer.

1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
$39.99 $39.99

10% OFF
This deals requires coupon
$36.00
See Site In stock Visit Store

Product Details

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783319467504
Condition
New
Product Description

This book constitutes the refereed proceedings of the 13th International Colloquium on Theoretical Aspects of Computing, ICTAC 2016, held in Taipei, Taiwan, in October 2016. The 23 revised full papers presented together with two short papers, two invited papers and one abstract of an invited paper were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections on program verification; design, synthesis and testing; calculi; specifications; composition and transformation; automata; temporal logics; tool and short papers.

Available Colors
Available Sizes

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

China Internet Development Report 2019

China Internet Development Report 2019

$109.99
Endoscopy in Early Gastrointestinal Cancers, Volume 2

Endoscopy in Early Gastrointestinal Cancers, Volume 2

$99.99
Usborne Books: Cats

Usborne Books: Cats

$3.71
Psychology of Career Adaptability, Employability and Resilience

Psychology of Career Adaptability, Employability and Resilience

$219.99
Environmental Sustainability in Building Design and Construction

Environmental Sustainability in Building Design and Construction

$79.99
Protoplasmatische kologie der Pflanzen

Protoplasmatische kologie der Pflanzen

$84.99
Informationssysteme und Datenbanken

Informationssysteme und Datenbanken

$69.95
Ethics in Economics, Business, and Economic Policy

Ethics in Economics, Business, and Economic Policy

$84.99
Introduction to Numerical Methods in Differential Equations

Introduction to Numerical Methods in Differential Equations

$39.99
Bremsregelsysteme und Fahrerassistenzsysteme 1

Bremsregelsysteme und Fahrerassistenzsysteme 1

$24.99
Algebraic Threefolds

Algebraic Threefolds

$54.99
Anticipatory Optimization for Dynamic Decision Making

Anticipatory Optimization for Dynamic Decision Making

$84.99
Publishing during Doctoral Candidature

Publishing during Doctoral Candidature

$139.99
Imperfect Duties of Management

Imperfect Duties of Management

$129.99
I Survived - Graphix: Sobreviv el ataque de los osos grises, 1967

I Survived - Graphix: Sobreviv el ataque de los osos grises, 1967

$8.24
Instrumente des Care und Case Management Prozesses

Instrumente des Care und Case Management Prozesses

$9.99
Contemporary Research in Philosophical Logic and Linguistic Semantics

Contemporary Research in Philosophical Logic and Linguistic Semantics

$169.99
Management der Software-Entwicklung

Management der Software-Entwicklung

$54.99
Sponges (Porifera)

Sponges (Porifera)

$39.99
Vision Models and Applications to Image and Video Processing

Vision Models and Applications to Image and Video Processing

$169.99
Die Finanzierung technologieorientierter Unternehmen in Deutschland

Die Finanzierung technologieorientierter Unternehmen in Deutschland

$69.99
Shut Up and Listen

Shut Up and Listen

$49.99
Differential Characters

Differential Characters

$44.99
Surgical Management of Aortic Pathology

Surgical Management of Aortic Pathology

$249.99
Abnderungen der Eisenbahn-Bau- und Betriebsordnung vom 4. November 1904

Abnderungen der Eisenbahn-Bau- und Betriebsordnung vom 4. November 1904

$54.99
Europa von A bis Z

Europa von A bis Z

$29.99
Kosten- und Leistungsrechnung der Bilanzbuchhalter

Kosten- und Leistungsrechnung der Bilanzbuchhalter

$29.99
Recent Advances in Diseases of the Esophagus

Recent Advances in Diseases of the Esophagus

$54.99
Gene Therapy and Cell Therapy Through the Liver

Gene Therapy and Cell Therapy Through the Liver

$109.99
Der deutschsprachige Thriller

Der deutschsprachige Thriller

$84.99
Deciphering Chemical Language of Plant Communication

Deciphering Chemical Language of Plant Communication

$189.00
Computer Aided Engineering of Batteries

Computer Aided Engineering of Batteries

$149.00
Network Role Mining and Analysis

Network Role Mining and Analysis

$39.99
TOPSIS and its Extensions: A Distance-Based MCDM Approach

TOPSIS and its Extensions: A Distance-Based MCDM Approach

$109.99
Programmierte Einfhrung in die Betriebswirtschaftslehre

Programmierte Einfhrung in die Betriebswirtschaftslehre

$39.99
Biologie von Parasiten

Biologie von Parasiten

$49.99
Spin Eigenfunctions

Spin Eigenfunctions

$129.99
Streiten gegen die Erosion der Demokratie

Streiten gegen die Erosion der Demokratie

$24.99
Haploids in Crop Improvement I

Haploids in Crop Improvement I

$329.99
Social Semantic Web

Social Semantic Web

$44.99
previous
next