Verwandte Artikel zu A Journey from Process Algebra via Timed Automata to...

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

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

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

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.

Gebraucht kaufen

Zustand: Wie neu
Unread book in perfect condition...
Diesen Artikel anzeigen

EUR 2,26 für den Versand innerhalb von/der USA

Versandziele, Kosten & Dauer

EUR 3,41 für den Versand innerhalb von/der USA

Versandziele, Kosten & Dauer

Weitere beliebte Ausgaben desselben Titels

9783031156304: A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday

Vorgestellte Ausgabe

ISBN 10:  3031156307 ISBN 13:  9783031156304
Verlag: Springer, 2022
Softcover

Suchergebnisse für A Journey from Process Algebra via Timed Automata to...

Beispielbild für diese ISBN

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

Anbieter: Lucky's Textbooks, Dallas, TX, USA

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

Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar3113020036572

Verkäufer kontaktieren

Neu kaufen

EUR 53,06
Währung umrechnen
Versand: EUR 3,41
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

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

Anbieter: GreatBookPrices, Columbia, MD, USA

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

Zustand: New. Bestandsnummer des Verkäufers 44782647-n

Verkäufer kontaktieren

Neu kaufen

EUR 54,24
Währung umrechnen
Versand: EUR 2,26
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: 15 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Nils Jansen
ISBN 10: 3031156285 ISBN 13: 9783031156281
Neu Paperback Erstausgabe

Anbieter: Grand Eagle Retail, Mason, OH, USA

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

Paperback. Zustand: new. Paperback. 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Bestandsnummer des Verkäufers 9783031156281

Verkäufer kontaktieren

Neu kaufen

EUR 56,56
Währung umrechnen
Versand: Gratis
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

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

Anbieter: GreatBookPrices, Columbia, MD, USA

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

Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 44782647

Verkäufer kontaktieren

Gebraucht kaufen

EUR 61,56
Währung umrechnen
Versand: EUR 2,26
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: 15 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 65,13
Währung umrechnen
Versand: Gratis
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

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

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich

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

Zustand: New. In. Bestandsnummer des Verkäufers ria9783031156281_new

Verkäufer kontaktieren

Neu kaufen

EUR 57,93
Währung umrechnen
Versand: EUR 13,71
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 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 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

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

Verkäufer kontaktieren

Neu kaufen

EUR 56,62
Währung umrechnen
Versand: EUR 17,73
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

Anzahl: 10 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
Währung umrechnen
Versand: EUR 23,00
Von Deutschland nach USA
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

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

Anbieter: Books Puddle, New York, NY, USA

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

Zustand: New. Bestandsnummer des Verkäufers 26396368576

Verkäufer kontaktieren

Neu kaufen

EUR 73,93
Währung umrechnen
Versand: EUR 3,41
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: 4 verfügbar

In den Warenkorb

Foto des Verkäufers

Jansen, Nils
Verlag: Springer 10/8/2022, 2022
ISBN 10: 3031156285 ISBN 13: 9783031156281
Neu Paperback or Softback

Anbieter: BargainBookStores, Grand Rapids, MI, USA

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

Paperback or Softback. Zustand: New. A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday 1.81. Book. Bestandsnummer des Verkäufers BBS-9783031156281

Verkäufer kontaktieren

Neu kaufen

EUR 83,60
Währung umrechnen
Versand: Gratis
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: 5 verfügbar

In den Warenkorb

Es gibt 5 weitere Exemplare dieses Buches

Alle Suchergebnisse ansehen