Mijn boeken
← Catalogus
Logics in computer science
Fabio Mogavero

Logics in computer science a study on extensions of temporal and strategic logics

Fabio Mogavero
Hardback1000 pagina’sEngelsDeel 3 →
In het kort
ISBN-13
9789491216947
Uitgever
ATLANTIS PRESS INTERNATIONAL BV
Verschenen
15 februari 2013
NUR
993 · Theoretische informatica
Serie
Atlantis Series in Computing · 3
Imprint
Atlantis Press

Lijkt op dit boek

Omslag van Agentic AI and the Rise of the Digital Colleague
Agentic AI and the Rise of the Digital Colleague
Omslag van Mnemomatica
Mnemomatica
Omslag van Mnemomatica
Mnemomatica
Omslag van Algoritmen en datastructuren
Algoritmen en datastructuren
Omslag van Modelling and analysis of real-time coordination patterns
Modelling and analysis of real-time coordination patterns
Omslag van Algoritmen en datastructuren
Algoritmen en datastructuren
Omslag van Zaakgericht werken: koude en warme digitale dossiers
Zaakgericht werken: koude en warme digitale dossiers
Omslag van Algoritmen en datastructuren
Algoritmen en datastructuren
Omslag van Het midoffice
Het midoffice
NSTC 500483450 · CB-relatie 9672910 · Bijgewerkt 6 augustus 2026
Bestel bij bol →
← Terug naar resultaten
Logics in computer science
Fabio Mogavero

Logics in computer science

a study on extensions of temporal and strategic logics
Fabio Mogavero
Hardback1000 pagina’sEngelsDeel 3 van Atlantis Series in Computing →
Bestel bij bol →
In het kort
ISBN-13
9789491216947
Uitgever
ATLANTIS PRESS INTERNATIONAL BV
Verschenen
15 februari 2013
NUR
993 · Theoretische informatica
Serie
Atlantis Series in Computing · 3
Imprint
Atlantis Press

Lijkt op dit boek

Alles bekijken →
Omslag van Agentic AI and the Rise of the Digital Colleague
Agentic AI and the Rise of the Digital Colleague
Omslag van Mnemomatica
Mnemomatica
Aldemar Verstolen
Omslag van Mnemomatica
Mnemomatica
Aldemar Verstolen
Omslag van Algoritmen en datastructuren
Algoritmen en datastructuren
Veerle Fack
Omslag van Modelling and analysis of real-time coordination patterns
Modelling and analysis of real-time coordination patterns
Stephanie Kemper
Omslag van Algoritmen en datastructuren
Algoritmen en datastructuren
Veerle Fack
NSTC 500483450 · CB-relatie 9672910 · Bijgewerkt 6 augustus 2026