Broch Johnsen Einar (191 results)

Softcover

Seller: Brook Bookstore On Demand, Napoli, NA, ItalyBrook Bookstore On Demand

5-star seller

Condition: New

£ 33.73

£ 5.83 shipping

Ships from Italy to U.S.A.

Quantity: 5 available

Condition: new.

Fundamental Approaches to Software Engineering : 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory an

Language: English

Published by Springer, 2022

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Condition: New

£ 38.72

£ 1.94 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Fundamental Approaches to Software Engineering : 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory an

Language: English

Published by Springer, 2022

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Johnsen, Einar Broch (EDT); Schaefer, Ina (EDT)

Condition: Used - As new

£ 43.94

£ 1.94 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Software Engineering and Formal Methods : 16th International Conference, Sefm 2018, Held As Part of Staf 2018, Toulouse, France, June 27?29, 2018, Proceedings

Language: English

Published by Springer, 2018

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Bernardo, Marco (EDT); Damiani, Ferruccio (EDT); Haehnle, Reiner (EDT); Johnsen, Einar Broch (EDT); Schaefer, Ina (EDT)

Condition: New

£ 44.85

£ 1.94 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Formal Methods for Executable Software Models : 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Language: English

Published by Springer, 2014

3319073168 / 9783319073163

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Johnsen, Einar Broch (EDT); Petre, Luigia (EDT)

Condition: New

£ 46.00

£ 1.94 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Integrated Formal Methods : 10th International Conference, Ifm 2013, Turku, Finland, June 10-14, 2013, Proceedings

Language: English

Published by Springer, 2013

3642386121 / 9783642386121

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Bernardo, Marco (EDT); Johnsen, Einar Broch (EDT)

Condition: New

£ 46.00

£ 1.94 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Formal Methods for Multicore Programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2015

Language: English

Published by Springer, 2015

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Condition: New

£ 47.52

£ 1.94 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Formal Methods for Multicore Programming

Einar Broch Johnsen

Language: English

Published by Springer International Publishing AG, CH, 2015

Softcover

Seller: Rarewaves.com USA, London, LONDO, United KingdomRarewaves.com USA

5-star seller

Condition: New

£ 49.52

Free Shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Paperback. Condition: New. 2015 ed. This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2015, held in Bertinoro, Italy, in June 2015. SFM 2015 was devoted to multicore programming…

Software Engineering and Formal Methods: 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, ... Computer Science and General Issues)

Language: English

Published by Springer, 2018

Softcover

Seller: California Books, Miami, FL, U.S.A.California Books

4-star seller

3319614665 / 9783319614663

Condition: New

£ 51.35

Free Shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings (Programming and Software Engineering)

Language: English

Published by Springer, 2017

Softcover

Seller: California Books, Miami, FL, U.S.A.California Books

4-star seller

Johnsen, Einar Broch (EDT); Schaefer, Ina (EDT)

Condition: New

£ 51.35

Free Shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Software Engineering and Formal Methods : 16th International Conference, Sefm 2018, Held As Part of Staf 2018, Toulouse, France, June 27?29, 2018, Proceedings

Language: English

Published by Springer, 2018

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

De Paoli, Flavio (EDT); Schulte, Stefan (EDT); Johnsen, Einar Broch

Condition: Used - As new

£ 50.21

£ 1.94 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Service-oriented and Cloud Computing : 6th Ifip Wg 2.14 European Conference, Esocc 2017, Oslo, Norway, September 27-29, 2017, Proceedings

Language: English

Published by Springer, 2017

3319672614 / 9783319672618

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Condition: Used - As new

£ 51.36

£ 1.94 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Fundamental Approaches to Software Engineering (eng)

Johnsen, Einar Broch

Language: English

Published by Springer, 2022

Softcover

Seller: Brook Bookstore, Milano, MI, ItalyBrook Bookstore

5-star seller

Abraham, Erika (EDT); Johnsen, Einar Broch (EDT); Bonsangue, Marcello (EDT)

Condition: New

£ 29.54

£ 23.98 shipping

Ships from Italy to U.S.A.

Quantity: 5 available

Condition: new.

Theory and Practice of Formal Methods : Essays Dedicated to Frank De Boer on the Occasion of His 60th Birthday

Language: English

Published by Springer, 2016

3319307339 / 9783319307336

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Condition: Used - As new

£ 51.75

£ 1.94 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Fundamental Approaches to Software Engineering (Lecture Notes in Computer Science)

Language: English

Published by Springer, 2022

Softcover

Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

5-star seller

Condition: New

£ 40.56

£ 11.98 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New. In.

Fundamental Approaches to Software Engineering : 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory an

Language: English

Published by Springer, 2022

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Condition: New

£ 40.16

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New.

Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... (Programming and Software Engineering)

Language: English

Published by Springer, 2015

Softcover

Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

5-star seller

Bernardo, Marco (EDT); Johnsen, Einar Broch (EDT)

Condition: New

£ 45.68

£ 11.98 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New. In.

Formal Methods for Multicore Programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2015

Language: English

Published by Springer, 2015

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Condition: New

£ 42.36

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New.

Fundamental Approaches to Software Engineering : 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory an

Language: English

Published by Springer, 2022

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Condition: Used - As new

£ 44.29

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Fundamental Approaches to Software Engineering (Lecture Notes in Computer Science)

Language: English

Published by Springer, 2022

Softcover

Seller: Books Puddle, New York, NY, U.S.A.Books Puddle

4-star seller

De Paoli, Flavio (EDT); Schulte, Stefan (EDT); Johnsen, Einar Broch

Condition: New

£ 58.15

£ 2.93 shipping

Ships within U.S.A.

Quantity: 4 available

Condition: New. 1st ed. 2022 edition NO-PA16APR2015-KAP.

Service-oriented and Cloud Computing : 6th Ifip Wg 2.14 European Conference, Esocc 2017, Oslo, Norway, September 27-29, 2017, Proceedings

Language: English

Published by Springer, 2017

3319672614 / 9783319672618

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

3319073168 / 9783319073163

Condition: New

£ 61.35

£ 1.94 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software ... (Programming and Software Engineering)

Language: English

Published by Springer, 2014

Softcover

Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

5-star seller

3540729194 / 9783540729198

Condition: New

£ 50.80

£ 11.98 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New. In.

Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings (Lecture Notes in Computer Science, 4468)

Language: English

Published by Springer, 2007

Softcover

Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

5-star seller

Condition: New

£ 50.80

£ 11.98 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New. In.

Software Engineering and Formal Methods: 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, ... Computer Science and General Issues)

Language: English

Published by Springer, 2018

Softcover

Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

5-star seller

3642386121 / 9783642386121

Condition: New

£ 50.80

£ 11.98 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New. In.

Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings (Programming and Software Engineering)

Language: English

Published by Springer, 2013

Softcover

Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

5-star seller

3319614665 / 9783319614663

Condition: New

£ 50.80

£ 11.98 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New. In.

Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings (Programming and Software Engineering)

Language: English

Published by Springer, 2017

Softcover

Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

5-star seller

3319444816 / 9783319444819

Condition: New

£ 50.80

£ 11.98 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New. In.

Service-Oriented and Cloud Computing: 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings (Programming and Software Engineering)

Language: English

Published by Springer, 2016

Softcover

Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

5-star seller

3319307339 / 9783319307336

Condition: New

£ 50.80

£ 11.98 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New. In.

Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday (Theoretical Computer Science and General Issues)

Language: English

Published by Springer, 2016

Softcover

Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

5-star seller

3319672614 / 9783319672618

Condition: New

£ 50.80

£ 11.98 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New. In.

Service-Oriented and Cloud Computing: 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings (Programming and Software Engineering)

Language: English

Published by Springer, 2017

Softcover

Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

5-star seller

Marcello M. Bonsangue, Einar Broch Johnsen

Condition: New

£ 50.80

£ 11.98 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New. In.

Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings (Lecture Notes in Computer Science)

Language: English

Published by Springer Berlin Heidelberg 2008-10-10, 2008

3540729194 / 9783540729198

Softcover

Seller: Chiron Media, Wallingford, United KingdomChiron Media

5-star seller