D�veloppement Formel Des Syst�mes Automatis�s - Prijzen

Cet ouvrage presente une methode de developpement de systemes automatises basee sur les methodes formelles B et TLA+. Le developpement par raffinement est au c ur de la methode proposee. Un systeme automatise est modelise par deux composants, un controle forme par le dispositif physique et son environnement, et un controleur pilotant ce dernier. La premiere contribution de cet ouvrage concerne la proposition d'une approche qui combine le B evenem...

De D�veloppement Formel Des Syst�mes Automatis�s is een populaire optie voor Informatica. 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

D�veloppement Formel Des Syst�mes Automatis�s is onder andere te koop bij: Bol. Esy raadt altijd aan om meerdere aanbieders te bekijken om geen last minute deals mis te lopen.