All About Maude - A High-Performance Logical Framework CLAVEL, Manuel ; Durán, Francisco ; Eker, Steven ; Lincoln, Patrick How to Specify, Program, and Verify Systems in Rewriting Logic

This monograph gives a comprehensive account of Maude, a language and system based on rewriting logic. Maude and its formal tool environment can be used in three mutually rein
Voorraad:
Nieuw
Verkrijgbaar in
Webshop
Prijs:
€ 95,95
Voorraad:
Levertijd:

Afwijkende levertijd: 5 tot 7 Dagen.

Winkelvoorraad

Het kan zijn dat er op dit moment een verkoop plaatsvindt, waardoor de actuele voorraad afwijkt. Hier kunnen geen rechten aan worden ontleend.

Reserveren

Nieuwe boeken en ramsj kunt u reserveren wanneer deze op voorraad zijn. U kunt uw reservering in de winkel ophalen. De betaalwijze kunt u aangeven bij stap 3 'Betaalwijze'

.
MINDBUSZEUS2 : broekhuis