A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)

ISBN 10: 3031156285 ISBN 13: 9783031156281
Verlag: Springer, 2022
Neu Softcover

Verkäufer Ria Christie Collections, Uxbridge, Vereinigtes Königreich Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

AbeBooks-Verkäufer seit 25. März 2015


Beschreibung

Beschreibung:

In. Bestandsnummer des Verkäufers ria9783031156281_new

Diesen Artikel melden

Inhaltsangabe:

This Festschrift, dedicated to Frits W. Vaandrager on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Frits has been a Professor of Informatics for Technical Applications at Radboud University Nijmegen since 1995, where his research focuses on formal methods, concurrency theory, verification, model checking, and automata learning.

 

The volume contains contributions of colleagues, Ph.D. students, and researchers with whom Frits has collaborated and inspired, reflecting a wide spectrum of scientific interests, and demonstrating successful work at the highest levels of both theory and practice.

Von der hinteren Coverseite: This Festschrift, dedicated to Frits W. Vaandrager on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Frits has been a Professor of Informatics for Technical Applications at Radboud University Nijmegen since 1995, where his research focuses on formal methods, concurrency theory, verification, model checking, and automata learning.

 

The volume contains contributions of colleagues, Ph.D. students, and researchers with whom Frits has collaborated and inspired, reflecting a wide spectrum of scientific interests, and demonstrating successful work at the highest levels of both theory and practice.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Bibliografische Details

Titel: A Journey from Process Algebra via Timed ...
Verlag: Springer
Erscheinungsdatum: 2022
Einband: Softcover
Zustand: New

Beste Suchergebnisse bei AbeBooks

Beispielbild für diese ISBN

Unbekannt
Verlag: Springer, 2022
ISBN 10: 3031156285 ISBN 13: 9783031156281
Gebraucht Softcover

Anbieter: Buchpark, Trebbin, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 596 | Sprache: Englisch | Produktart: Bücher | This Festschrift, dedicated to Frits W. Vaandrager on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Frits has been a Professor of Informatics for Technical Applications at Radboud University Nijmegen since 1995, where his research focuses on formal methods, concurrency theory, verification, model checking, and automata learning. The volume contains contributions of colleagues, Ph.D. students, and researchers with whom Frits has collaborated and inspired, reflecting a wide spectrum of scientific interests, and demonstrating successful work at the highest levels of both theory and practice. Bestandsnummer des Verkäufers 40529278/1

Verkäufer kontaktieren

Gebraucht kaufen

EUR 25,37
EUR 105,00 Versand
Versand von Deutschland nach USA

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Jansen, Nils
Verlag: Springer, 2022
ISBN 10: 3031156285 ISBN 13: 9783031156281
Neu Softcover
Print-on-Demand

Anbieter: Brook Bookstore On Demand, Napoli, NA, Italien

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: new. Questo è un articolo print on demand. Bestandsnummer des Verkäufers T1T81PSAPZ

Verkäufer kontaktieren

Neu kaufen

EUR 46,22
EUR 8,00 Versand
Versand von Italien nach USA

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Foto des Verkäufers

ISBN 10: 3031156285 ISBN 13: 9783031156281
Neu Kartoniert / Broschiert
Print-on-Demand

Anbieter: moluna, Greven, Deutschland

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Kartoniert / Broschiert. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This Festschrift, dedicated to Frits W. Vaandrager on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Frits has been a Professor of Informatics for Technical Applications at Radboud University Nijmegen since . Bestandsnummer des Verkäufers 723463052

Verkäufer kontaktieren

Neu kaufen

EUR 48,37
EUR 48,99 Versand
Versand von Deutschland nach USA

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Foto des Verkäufers

Nils Jansen (u. a.)
Verlag: Springer, 2022
ISBN 10: 3031156285 ISBN 13: 9783031156281
Neu Taschenbuch

Anbieter: preigu, Osnabrück, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: Neu. A Journey from Process Algebra via Timed Automata to Model Learning | Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday | Nils Jansen (u. a.) | Taschenbuch | xiii | Englisch | 2022 | Springer | EAN 9783031156281 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Bestandsnummer des Verkäufers 125322183

Verkäufer kontaktieren

Neu kaufen

EUR 50,25
EUR 70,00 Versand
Versand von Deutschland nach USA

Anzahl: 5 verfügbar

In den Warenkorb

Foto des Verkäufers

Nils Jansen
ISBN 10: 3031156285 ISBN 13: 9783031156281
Neu Taschenbuch

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This Festschrift, dedicated to Frits W. Vaandrager on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Frits has been a Professor of Informatics for Technical Applications at Radboud University Nijmegen since 1995, where his research focuses on formal methods, concurrency theory, verification, model checking, and automata learning.The volume contains contributions of colleagues, Ph.D. students, and researchers with whom Frits has collaborated and inspired, reflecting a wide spectrum of scientific interests, and demonstrating successful work at the highest levels of both theory and practice. Bestandsnummer des Verkäufers 9783031156281

Verkäufer kontaktieren

Neu kaufen

EUR 53,49
EUR 64,45 Versand
Versand von Deutschland nach USA

Anzahl: 1 verfügbar

In den Warenkorb

Foto des Verkäufers

Nils Jansen
ISBN 10: 3031156285 ISBN 13: 9783031156281
Neu Taschenbuch
Print-on-Demand

Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This Festschrift, dedicated to Frits W. Vaandrager on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Frits has been a Professor of Informatics for Technical Applications at Radboud University Nijmegen since 1995, where his research focuses on formal methods, concurrency theory, verification, model checking, and automata learning.The volume contains contributions of colleagues, Ph.D. students, and researchers with whom Frits has collaborated and inspired, reflecting a wide spectrum of scientific interests, and demonstrating successful work at the highest levels of both theory and practice. 596 pp. Englisch. Bestandsnummer des Verkäufers 9783031156281

Verkäufer kontaktieren

Neu kaufen

EUR 53,49
EUR 23,00 Versand
Versand von Deutschland nach USA

Anzahl: 2 verfügbar

In den Warenkorb

Foto des Verkäufers

Nils Jansen
ISBN 10: 3031156285 ISBN 13: 9783031156281
Neu Taschenbuch

Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: Neu. Neuware -This Festschrift, dedicated to Frits W. Vaandrager on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Frits has been a Professor of Informatics for Technical Applications at Radboud University Nijmegen since 1995, where his research focuses on formal methods, concurrency theory, verification, model checking, and automata learning.The volume contains contributions of colleagues, Ph.D. students, and researchers with whom Frits has collaborated and inspired, reflecting a wide spectrum of scientific interests, and demonstrating successful work at the highest levels of both theory and practice.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 596 pp. Englisch. Bestandsnummer des Verkäufers 9783031156281

Verkäufer kontaktieren

Neu kaufen

EUR 53,49
EUR 60,00 Versand
Versand von Deutschland nach USA

Anzahl: 2 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Jansen, Nils
Verlag: Springer 2022-09, 2022
ISBN 10: 3031156285 ISBN 13: 9783031156281
Neu PF

Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

PF. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783031156281

Verkäufer kontaktieren

Neu kaufen

EUR 57,10
EUR 17,88 Versand
Versand von Vereinigtes Königreich nach USA

Anzahl: 10 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 2022
ISBN 10: 3031156285 ISBN 13: 9783031156281
Neu Softcover

Anbieter: California Books, Miami, FL, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Bestandsnummer des Verkäufers I-9783031156281

Verkäufer kontaktieren

Neu kaufen

EUR 66,14
Versand gratis
Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

In den Warenkorb