Search
Feedback
About UniCat 
Help
News
| Listing 1 - 5 of 5 |
Sort by
|
Digital
ISBN: 9783540791249 Year: 2008 Publisher: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer science --- Computer architecture. Operating systems --- Computer. Automation --- informatica --- maatschappij --- computerbesturingssystemen --- programmeren (informatica) --- software engineering --- computernetwerken
Digital
ISBN: 9783540690610 Year: 2007 Publisher: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical logic --- Computer science --- Programming --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- programmeren (informatica) --- programmeertalen --- wiskunde --- software engineering --- logica --- robots
Digital
ISBN: 9783642406157 Year: 2013 Publisher: Berlin, Heidelberg Springer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. The 8 lectures featured in this volume are by world-renowned experts within the area of formal models for objects and components. The book provides a unique combination of ideas on software engineering and formal methods which reflect the expanding body of knowledge on modern software systems.
Mathematical logic --- Logic --- Computer science --- Computer. Automation --- computers --- ontwerpen --- programmeren (informatica) --- wiskunde --- software engineering --- logica --- computerkunde
Digital
ISBN: 9783319073170 Year: 2014 Publisher: Cham Springer International Publishing
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2014, held in Bertinoro, Italy, in June 2014. SFM 2014 was devoted to executable software models and covered topics such as variability models, automated analysis techniques, deductive verification, and runtime assessment and testing. The papers collected in the two parts (first part: modeling and verification; second part: run-time assessment and testing) of this volume represent the broad range of topics of the school.
Logic --- Mathematical control systems --- Computer science --- Programming --- Computer. Automation --- toegepaste informatica --- computers --- ontwerpen --- programmeren (informatica) --- programmeertalen --- software engineering --- computerkunde --- informatietheorie
Multi
ISBN: 9783031510601 9783031510595 9783031510618 Year: 2024 Publisher: Cham Springer Nature, Imprint: Springer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logic --- Electronics --- Programming --- Computer architecture. Operating systems --- Computer. Automation --- machinetalen --- I/O (input/output) --- randapparatuur --- microprocessoren --- computers --- ontwerpen --- datacommunicatie --- programmeren (informatica) --- programmeertalen --- computernetwerken --- architectuur (informatica)
| Listing 1 - 5 of 5 |
Sort by
|