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

The New Avenues in Bioinformatics

$169.99

Applying Translation Theory to Musicological Research

$99.00

Phospholipids

$39.99

mHealth Innovation in Asia

$59.99

Computational Vision and Medical Image Processing

$109.99

Sustainable Environmental Geotechnics

$219.99

Fluiddynamischer Planarantrieb fr drei Freiheitsgrade

$54.99

Unternehmenskrise und Organstrafbarkeit wegen Insolvenzstraftaten

$39.99

Basilicata and Southern Italy Between Film and Ecology

$139.99

Physiologische Anleitung zu einer zweckmigen Ernhrung

$59.99

Managing Software Process Evolution

$109.99

Volunteer Involvement in UK Universities

$44.99

Dictionary of the European Economic Community

$74.99

Direct Adaptive Control Algorithms

$169.99

John Anderson: Viscount Waverley

$89.00

Hochschul-PR in Deutschland

$64.99

Magpie Murders by Anthony Horowitz

$19.99

Computer Vision ECCV 2024

$79.99

Anderson Localization

$169.99

Paloanthropologie

$59.99

Das Kapitalbeteiligungsgeschft der Sparkassen-Finanzgruppe

$74.99

Connections in the Clinic

$49.99

Buchfhrung und Finanzberichte

$37.99

Network Programming with Go Language

$64.99

Emerson's Literary Philosophy

$54.99

Sichtbeobachtungen vom meterologischen Standpunkt

$59.99

Fuzzy Database Modeling

$84.99

Self-Regulated Learning and Academic Achievement

$109.00

Ocean Forecasting

$219.99

The Quest for Core Values in the Application of Legal Norms

$179.99

Climbing and Walking Robots

$329.99

Qualitative Forschung

$59.99

Higher Education and Graduate Employment in Europe

$169.99

Analog/Digital Implementation of Fractional Order Chaotic Circuits and Applications

$109.99

Elle Campbell Wins Their Weekend (Hardcover)

$14.24

Integrated River Basin Management through Decentralization

$169.99

Physik fr Biologen und Mediziner

$39.99

Cordless Telecommunications in Europe

$39.99

Nanoparticles in the Water Cycle

$84.99

Molecular Histochemical Techniques

$169.99