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

Taming the Infinities of Concurrency

Taming the Infinities of Concurrency

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

Javier Esparza received his primary degree in Theoretical Physics and in 1990 his PhD in Computer Science from the University of Zaragoza. After positions at the University of Hildesheim, the University of Edinburgh, and the Technical University of Munich, he then held professorships at the University of Edinburgh and the University of Stuttgart, and finally returned to TU Munich where he currently holds the Chair of Foundations of Software Reliability and Theoretical Computer Science. Javier is a leading researcher in concurrency theory, distributed and probabilistic systems, Petri nets, analysis of infinite-state models, and more generally formal methods for the verification of computer systems. He has coauthored over 200 publications, many of them highly influential. He coauthored the monographs Free Choice Petri Nets, and Unfoldings: A Partial Order Approach to Model Checking, and more recently the textbook Automata Theory: An Algorithmic Approach. The latter is an exampleof Javiers many activities as a teacher, he has supervised more than 20 PhD students, taught at more than 20 summer schools, and won many awards for his university teaching. He is regularly invited to deliver plenary talks at prestigious computer science conferences and participate in senior program committees, he has contributed as a senior member of technical working groups, society councils, and journal editorial boards, and in 2021 he became a founding Editor-in-Chief of the open-access TheoretiCS journal. This Festschrift celebrates Javiers contributions on the occasion of his 60th birthday, the contributions reflect the breadth and depth of his successes in Petri nets, concurrency in general, distributed and probabilistic systems, games, formal languages, logic, program analysis, verification, and synthesis.

Available Colors
Available Sizes
1 Offer Price Range: $99.00 - $99.00
BEST PRICE

Single Product Purchase

$99.00
@ 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
$99.00 $99.00

$99.00
See Site In stock Visit Store

Similar Products

Medikamentse Glaukomtherapie

$59.99

Instrumentation and Measurement Technologies for Water Cycle Management

$84.99

Das neue GmbH-Gesetz

$59.99

Radiology of Trauma

$109.99

Proceedings of the 2nd International Conference on Recent Trends in Machine Learning, IoT, Smart Cit

$219.00

Soziale Raumkonstitutionen von Studierenden

$74.99

Data Science Thinking

$84.99

The Political Economy of Middle Class Politics and the Global Crisis in Eastern Europe

$159.99

Intelligent Agents for Telecommunication Applications

$39.99

Programming Language Design and Implementation

$49.99

2nd International Conference on Advanced Joining Processes (AJP 2021)

$199.99

Space, Geometry and Aesthetics

$54.99

Von der Wettertanne zum Demographie-Dner

$49.99

Reviews of Environmental Contamination and Toxicology 199

$129.00

Materials and Working Mechanisms of Secondary Batteries

$189.00

Sight and Embodiment in the Middle Ages

$129.99

Die Diskontierung von Buchforderungen in sterreich und Deutschland unter besonderer Bercksichtigun

$59.99

Reintegrationsschwierigkeiten von Expatriates

$39.99

Die klinische Diagnose der Bauchgeschwlste

$59.99

Global Health Security

$139.99

Praktische Physik

$69.99

Statistik 1

$9.99

The Starlight Night

$84.99

Politischer Extremismus

$74.99

APAC 2019

$259.00

Pauper Voices, Public Opinion and Workhouse Reform in Mid-Victorian England

$44.99

Globale Supply Chain

$39.99

Precision Interferometry in a New Shape

$109.99

Prison Officers

$109.00

Mr. Wolf's Class Collection Grades 3-5 (4 books)

$28.00

Design of Modulators for Oversampled Converters

$109.99

Innovation durch Management des Informellen

$74.99

Numerical Analysis of Heat and Mass Transfer in Porous Media

$169.99

The Physics of the Two-Dimensional Electron Gas

$54.99

Salzlose Dit

$69.99

A Course in Calculus and Real Analysis

$69.99

Participatory Sensing, Opinions and Collective Awareness

$109.99

Populist Moments and Extractivist States in Venezuela and Ecuador

$69.99

Federated and Transfer Learning

$169.99

Insanity on Trial

$129.00