Formal Methods for Real-Time and Probabilistic Systems - Prijzen

TheaimoftheARTS'99workshopistobringtogetherresearchersandpr- titioners interested in the design of real-time and probabilistic systems. It is intendedtocoverthewholespectrumofdevelopmentandapplicationofspec- cation,veri cation,analysisandconstructiontechniquesforreal-timeandpro- bilisticsystems. BeingaworkshopundertheumbrellaoftheAMASTmovement (AlgebraicMethodologyAndSoftwareTechnology),ARTSisintendedtoprovide aforumforthepresentationofapproaches...

De Formal Methods for Real-Time and Probabilistic Systems is een populaire optie voor Programmeren. 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 Methods for Real-Time and Probabilistic 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.

Formal Methods for Real-Time and Probabilistic Systems
meer afbeeldingen
  • EAN9783540660101
43.038.788producten
154.467merken
933winkels