The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New EinarBrochJohnsen Books

Results for EinarBrochJohnsen

Showing 1 to 4 of 4 results
Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... 9104 (Lecture Notes in Computer Science) Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... 9104 (Lecture Notes in Computer Science) by Marco Bernardo, Einar Broch Johnsen

Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... 9104 (Lecture Notes in Computer Science)

by Marco Bernardo, Einar Broch Johnsen


ISBN 13: 9783319189406

Format: Paperback (216 pages)
Publisher: Springer
Published: 14 Jun 2015

Save for later

 
New : $49.16  
New : $49.16
Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday: 9660 (Lecture Notes in Computer Science) Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday: 9660 (Lecture Notes in Computer Science) by Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen

Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday: 9660 (Lecture Notes in Computer Science)

by Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen


ISBN 13: 9783319307336

Format: Paperback (440 pages)
Publisher: Springer
Published: 13 Apr 2016

Save for later

 
New : $66.79  
New : $66.79
Service-Oriented and Cloud Computing: 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings: 9846 (Lecture Notes in Computer Science) Service-Oriented and Cloud Computing: 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings: 9846 (Lecture Notes in Computer Science) by Marco Aiello, Einar Broch Johnsen, Schahram Dustdar, Ilche Georgievski

Service-Oriented and Cloud Computing: 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings: 9846 (Lecture Notes in Computer Science)

by Marco Aiello, Einar Broch Johnsen, Schahram Dustdar, Ilche Georgievski


ISBN 13: 9783319444819

Format: Paperback (276 pages)
Publisher: Springer
Published: 25 Aug 2016

Save for later

 
New : $60.88  
New : $60.88
Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings: 10375 (Lecture Notes in Computer Science) Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings: 10375 (Lecture Notes in Computer Science) by Sebastian Gabmeyer, Einar Broch Johnsen

Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings: 10375 (Lecture Notes in Computer Science)

by Sebastian Gabmeyer, Einar Broch Johnsen


ISBN 13: 9783319614663

Format: Paperback (176 pages)
Publisher: Springer
Published: 18 Jun 2017

Save for later

 
New : $54.75  
New : $54.75