Ces onze contributions reflètent les récentes avancées de la recherche concernant aussi bien l'application des langages fonctionnels que la conception et l'utilisation d'assistants à la preuve.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Anbieter: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, Deutschland
Softcover. Zustand: gut. 2010. Studia Informatica Universalis, JFLA 2010: Actes des vingt-et-unièmes Journées francophones des langages applicatifs (HR.HORS COLLEC.) In deutscher Sprache. pages. Artikel-Nr. BN247923
Anzahl: 1 verfügbar