bib.howest.be Search Results

You searched for: Auteur Bjørner

« Previous | 1 - 10 of 12 | Next »

1. Domain Science and Engineering : A Foundation for Software Development

Author:: Bjørner, Dines.
Publisher:: Cham Springer International Publishing AG 2021
Format:: e-book

2. FM 2015: Formal Methods

Author:: Bjørner; Bjørner, Nikolaj; de Boer, Frank
Publisher:: Springer International Publishing 2015
Format:: e-book

3. Software Engineering 2

Author:: Bjørner, Dines; Bjørner, Dines; Rozenberg, Grzegorz; Salomaa, Arto
Publisher:: Springer Berlin Heidelberg 2006
Format:: e-book

4. Logics of Specification Languages

Author:: Bjørner, Dines; Bjorner, Dines; Henson, Martin C.
Publisher:: Springer Berlin Heidelberg 2008
Format:: e-book

5. Automated Deduction – CADE-23

Author:: Bjørner, Nikolaj; Kanade, Takeo; Sofronie-Stokkermans, Viorica
Publisher:: Springer Berlin Heidelberg 2011
Format:: e-book

6. Logic for Programming, Artificial Intelligence, and Reasoning

Author:: Hutchison, David; Kanade, Takeo; Bjørner, Nikolaj; Voronkov, Andrei
Publisher:: Springer Berlin Heidelberg 2012
Format:: e-book

7. Software Engineering 1

Author:: Bjørner, Dines; Brauer, Wilfried; Rozenberg, Grzegorz; Salomaa, Arto
Publisher:: Springer Berlin Heidelberg 2006
Format:: e-book

8. Distributed Computing and Internet Technology

Author:: Nikolaj Bjørner, Sanjiva Prasad, Laxmi Parida; Parida, Laxmi; Prasad, Sanjiva
Publisher:: Springer International Publishing 2016
Format:: e-book

9. Formal Methods and Hybrid Real-Time Systems

Author:: Jones, Cliff B.; Bjørner, Dines; Chaochen, Zhou; Kanade, Takeo; Liu, Zhiming; Woodcock, Jim; Kittler, Josef
Publisher:: Springer Berlin Heidelberg 2007
Format:: e-book

10. Configuration Spaces

Author:: Bjorner, A.; Björner, Anders; Cohen, F.; Cohen, Fred; De Concini, Corrado; Procesi, Claudo; Salvetti, Mario
Publisher:: Scuola Normale Superiore 2012
Format:: e-book