Vesa halava (6 risultati)
Lingua: Inglese
Editore: Turku Centre for Computer Science, University of Turku, Turku, Finland, 2002
- Brossura
- Prima edizione
- Firmato
Da: Alexander Books (ABAC/ILAB), Ancaster, ON, CanadaAlexander Books (ABAC/ILAB)
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 41,24
EUR 7,12 spedizioneSpedito da Canada a U.S.A.Quantità: 1 disponibile
Aggiungi al carrelloSoft cover. Condizione: Fine. First Edition. 78p. Inscribed by Author(s).
- Brossura
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 77,90
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 94,25
EUR 11,86 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. In Stock.
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 75,75
EUR 35,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 20th International Conference on Reachability Problems, RP 2026, held in Turku, Finland, during October 21 23, 2026.The 10 full papers included in this book were carefully reviewed and selected from 21 submissions. The proceedings also contain two invited talks in full paper length.The papers cover topics of a wide range of disciplines and backgrounds who share an interest in reachability problems inareas such as algebraic structures, automata theory and formal languages, computational game theory, concurrency and distributed computing, decision procedures for computational models, hybrid dynamical systems, logic and model checking, and the verification of finite-and infinite-state systems.…
- Brossura
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 72,51
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 62,05
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 20th International Conference on Reachability Problems, RP 2026, held in Turku, Finland, during October 21 23, 2026.The 10 full papers included in this book were carefully reviewed and selected from 21 submissions. The proceedings also contain two invited talks in full paper length.The papers cover topics of a wide range of disciplines and backgrounds who share an interest in reachability problems inareas such as algebraic structures, automata theory and formal languages, computational game theory, concurrency and distributed computing, decision procedures for computational models, hybrid dynamical systems, logic and model checking, and the verification of finite-and infinite-state systems. 185 pp. Englisch.…
