Formal Modeling and Analysis of Timed Systems - Prijzen

This book constitutes the refereed proceedings of the 16th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2018, held in Beijing, China, in September 2018. The 14 papers presented in this volume were carefully reviewed and selected from 29 submissions. The papers are organized in the following topical sections: invited papers, temporal logics, distributed timed systems, behavioral equivalences, timed word...

De Formal Modeling and Analysis of Timed Systems is een populaire optie . Esy heeft 1 prijs gevonden, de goedkoopste keuze is volgens ons Bol, maar bekijk de andere aanbieders om het zeker te weten. Links openen in een nieuwe tabblad. Bekijk hier onder de product specificaties. Meer product informatie beschikbaar bij Bol.

Productspecificaties

Waar te koop

Formal Modeling and Analysis of Timed Systems is onder andere te koop bij: Bol. Esy raadt altijd aan om meerdere aanbieders te bekijken om geen last minute deals mis te lopen.

  • Prijs81,99
Formal Modeling and Analysis of Timed Systems
meer afbeeldingen
  • EAN9783030001506
46.842.302producten
166.530merken
938winkels