Magers & Quinn Booksellers

Cancel

Filters

Selected

Bernardo, Marco

Condition

New

Used

Collectible

Availability

On Our Shelves

Ships from Warehouse

Format

Hardcover

Paperback

Audio Book

Other

Languages

English

Spanish

Italian

French

Japanese

German

Portuguese

Polish

Dutch

Latin

Price

Back

Bernardo, Marco

Filters

Sort by

Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems,

Cimatti, Alessandro

Bernardo, Marco

Paperback

$54.99

Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems,

Hillston, Jane

Bernardo, Marco

Paperback

$54.99

Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Sys

Corradini, Flavio

Bernardo, Marco

Paperback

$54.99

Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems

Bernardo, Marco

Inverardi, Paola

Paperback

$54.99

Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm-M

Bogliolo, Alessandro

Bernardo, Marco

Paperback

$54.99

Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Softw

Issarny, Valerie

Bernardo, Marco

Paperback

$54.99

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

Johnsen, Einar Broch

Bernardo, Marco

Paperback

$54.99

Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication and Software System

Pierantonio, Alfonso

Bernardo, Marco

Cortellessa, Vittorio

Paperback

$54.99

A Process Algebraic Approach to Software Architecture Design

Aldini, Alessandro

Bernardo, Marco

Corradini, Flavio

Hardcover

$54.99

A Process Algebraic Approach to Software Architecture Design

Aldini, Alessandro

Bernardo, Marco

Corradini, Flavio

Paperback

$54.99

Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software S

Bernardo, Marco

Degano, Pierpaolo

Zavattaro, Gianluigi

Paperback

$54.99

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Sys

Bernardo, Marco

Damiani, Ferruccio

Haehnle, Reiner

Paperback

$54.99

Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009,

Bernardo, Marco

Padovani, Luca

Zavattaro, Gianluigi

Paperback

$69.95

Computer Performance Engineering: 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings

Aldini, Alessandro

Bernardo, Marco

Bononi, Luciano

Paperback

$54.99

All You Can Imagine

Marçolla, Bernardo

Hardcover

$17.09

happy animals: coloring book for kids aged 3-8

Marco, Marco

Paperback

$6.99

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer,

Hillston, Jane

Bernardo, Marco

De Nicola, Rocco

Paperback

$54.99

Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm

Di Pierro, Alessandra

Bernardo, Marco

De, Erik

Paperback

$49.99

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communicatio

Di Pierro, Alessandra

Aldini, Alessandro

Bernardo, Marco

Paperback

$54.99

The Daimon and the Soul of the West: Finding Identity, Meaning, and Purpose in a Sacrificial Life

Kastrup, Bernardo

Paperback

$15.15

Filters

Selected

Category

Condition

Availability

Format

Languages

Price

Bernardo, Marco

Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems,

Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems,

Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Sys

Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems

Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm-M

Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Softw

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

Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication and Software System

A Process Algebraic Approach to Software Architecture Design

A Process Algebraic Approach to Software Architecture Design

Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software S

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Sys

Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009,

Computer Performance Engineering: 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings

All You Can Imagine

happy animals: coloring book for kids aged 3-8

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer,

Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communicatio

The Daimon and the Soul of the West: Finding Identity, Meaning, and Purpose in a Sacrificial Life

Loading

You have reached the end of the list.
Return to the top.

Filters

Selected

Category

Condition

Availability

Format

Languages

Price

Bernardo, Marco

Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems,

Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems,

Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Sys

Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems

Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm-M

Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Softw

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

Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication and Software System

A Process Algebraic Approach to Software Architecture Design

A Process Algebraic Approach to Software Architecture Design

Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software S

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Sys

Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009,

Computer Performance Engineering: 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings

All You Can Imagine

happy animals: coloring book for kids aged 3-8

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer,

Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communicatio

The Daimon and the Soul of the West: Finding Identity, Meaning, and Purpose in a Sacrificial Life

Loading

You have reached the end of the list. Return to the top.

You have reached the end of the list.
Return to the top.