Zoekresultaten
Resultaat 121 - 140 (van 987)
M.A.F. Jansen Automatic simulation and verification of UML activity diagrams, by translation to →X⇋ and Promela
Non-fictie
Engels | 71 pagina's | Stan Ackermans Institute, Eindhoven | 2001
Gedrukt boek
Peter R.J. Asveld Some operators on families of fuzzy languages and their monoids
Non-fictie
Engels | 14 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2001
Gedrukt boek
M.M. Fokkinga | Jan Kuper An alternative approach to I/O
Non-fictie
Engels | 12 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2001
Gedrukt boek
R. Lämmel | Joost Visser Typed combinators for generic traversal
Non-fictie
Engels | 34 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2001
Gedrukt boek
Koen Hindriks Agent programming languages: programming with mental models
Non-fictie
Engels | 245 pagina's | 2001
Gedrukt boek
A. Engels Languages for analysis and testing of event sequences
Non-fictie
Engels | 184 pagina's | 2001
Gedrukt boek
M.G.J. van den Brand | P. Klint | J.J. Vinju Term rewriting with traversal functions
Non-fictie
Engels | 35 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2001
Gedrukt boek
A. van Deursen | P. Klint Domain-specific language design requires feature descriptions
Non-fictie
Engels | 20 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2001
Gedrukt boek
Erik H. Saaman Another formal specification language
Non-fictie
Engels | 182 pagina's | 2000
Gedrukt boek
Graeme Smith The Object-Z specification language
Non-fictie
Engels | 146 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 2000
Gedrukt boek
R. Eshuis | R.J. Wieringa Requirements-level semantics for UML statecharts
Non-fictie
Engels | 25 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2000
Gedrukt boek
Software engineering with OBJ
algebraic specification in action
Non-fictie
Engels | 410 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 2000
Gedrukt boek
A. van Deursen | P. Klint | Joost Visser Domain-specific languages
Non-fictie
Engels | 13 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 2000
Gedrukt boek
Alex Martelli | Anna Ravenscroft | Steve Holden Python in a nutshell
Engels | 753 pagina's | O'Reilly, Beijing | 2017
Gedrukt boek
Barry Burd Beginning programming with Java
Engels | 524 pagina's | For Dummies®, a Wiley brand, Hoboken, NJ | 2017
Gedrukt boek
Petrus Johannes Schoenmakers Supporting the evolution of software
Non-fictie
Engels | 122 pagina's | Technische Universiteit Eindhoven, Eindhoven | 1999
Gedrukt boek
M.G.J. van den Brand | M. de Jonge Pretty-printing within the ASF+SDF meta-environment: a generic approach
Non-fictie
Engels | 18 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1999
Gedrukt boek
N.Z. Chen Redesign of the →ch⇋ kernel
Non-fictie
Engels | 40 pagina's | Stan Ackermans Instituut, Eindhoven | 1999
Gedrukt boek
SDL '99
the next millennium; proceedings of the ninth SDL forum, Montréal, Québec, Canada, 21-25 June, 1999
Non-fictie
Engels | 489 pagina's | Elsevier, Amsterdam [etc.] | 1999
Gedrukt boek
M.A. Reniers Message Sequence Chart
syntax and semantics
Non-fictie
Engels | 212 pagina's | Eindhoven University of Technology, Eindhoven | 1999
Gedrukt boek