Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Theoretical Aspects of Computing ICTAC 2016

Theoretical Aspects of Computing ICTAC 2016

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
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Spectral Atlas of Polycyclic Aromatic Compounds

$84.99

Kostenprfung

$59.99

The Early Life History of Fish

$129.00

Dimensionstheorie

$17.99

Individualisierte Prferenzanalyse

$59.99

Educational Innovation in Economics and Business IV

$169.99

Promoting Social Dialogue in European Organizations

$59.99

Biomedical Micro-Nanotechnologies Toward Translation

$199.99

Management der frhen Innovationsphasen

$64.99

Religion and Social Justice

$59.99

Fractions to Decimals Grade 4 Differentiation Pack

$5.99

Culture on the Edge of Chaos

$54.99

Gender in Human Rights and Transitional Justice

$139.99

Animal Ears

$3.71

Hhlenkompetenz

$89.99

The Practice of Formal Methods

$109.00

Current Developments in Anthropological Genetics

$39.99

2016 International Symposium on Experimental Robotics

$329.99

Computational Science and Its Applications ICCSA 2020

$109.99

Currency Convertibility

$44.99

Pregnancy with Artificial Intelligence

$199.99

Variational, Geometric, and Level Set Methods in Computer Vision

$54.99

Fractal Concepts in Condensed Matter Physics

$109.99

Constructing National Identity in Canadian and Australian Classrooms

$109.00

Blood Substitutes

$84.99

Applications of Functional Analysis in Engineering

$39.99

Signal Transduction and the Coordination of B Lymphocyte Development and Function I

$84.99

Molecular Modeling and Simulation

$74.99

Organizing for Digital Innovation

$169.99

Jugendstrafrecht

$19.99

Der Fortfhrungswert in der Unternehmensbewertung

$64.99

The Evaluation and Care of Severely Disturbed Children and Their Families

$54.99

Domain-Specific Languages in Practice

$129.00

Processing of Polymer-based Nanocomposites

$109.99

Cell Cycle Checkpoints

$169.99

Recent Advances in Nonlinear Dynamics and Synchronization

$109.99

Wirkung von Preisen und Werbung als Instrumente des Revenue Managements

$49.99

Vektoren in der analytischen Geometrie

$59.99

Timid: A Graphic Novel

$9.74

Theorie der Auenwirtschaftspolitik

$69.99