Searching for author 'marco bernardo'

Not what you are looking for: Search again

Formal Methods for Software Architectures Formal Methods for Software Architectures
Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures
Authors: ,
Format: Paperback
ISBN: 9783540200833 , 3540200835
Operating Systems | Computer Programming / Software Development | Compilers | Programming & Scripting Languages: General | Software Engineering | Computer Architecture & Logic Design |

Formal Methods for Hardware Verification Formal Methods for Hardware Verification
6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures
Authors: ,
Format: Paperback
ISBN: 9783540343042 , 3540343040
Network Hardware | Computer Programming / Software Development | Programming & Scripting Languages: General | Software Engineering | Computer Networking & Communications | Computer Science | Systems Analysis & Design | Computer Architecture & Logic Design | Expert Systems / Knowledge based Systems |

Formal Methods for Mobile Computing Formal Methods for Mobile Computing
5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
Authors: ,
Format: Paperback
ISBN: 9783540256977 , 3540256970
Network Hardware | Computer Programming / Software Development | Programming & Scripting Languages: General | Software Engineering | Computer Networking & Communications | Systems Analysis & Design | Computer Architecture & Logic Design | Expert Systems / Knowledge based Systems |

Formal Methods for Performance Evaluation Formal Methods for Performance Evaluation
7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures
Authors: ,
Format: Paperback
ISBN: 9783540724827 , 3540724826
Network Hardware | Computer Programming / Software Development | Programming & Scripting Languages: General | Software Engineering | Computer Networking & Communications | Computer Science | Systems Analysis & Design | Computer Architecture & Logic Design | Expert Systems / Knowledge based Systems |

Formal Methods for Computational Systems Biology Formal Methods for Computational Systems Biology
8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008
Authors: ,
Format: Paperback
ISBN: 9783540688921 , 3540688927
Network Hardware | Computer Programming / Software Development | Programming & Scripting Languages: General | Software Engineering | Computer Networking & Communications | Computer Science | Systems Analysis & Design | Computer Architecture & Logic Design | Expert Systems / Knowledge based Systems |

Formal Methods for Eternal Networked Software Systems Formal Methods for Eternal Networked Software Systems
11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures
Authors: ,
Format: Paperback
ISBN: 9783642214547 , 3642214541
Mathematical Logic | Computing: General | Internet Searching | Operating Systems | Compilers | Programming & Scripting Languages: General | Software Engineering | Information Retrieval | Computer Science | Mathematical Theory Of Computation |

Computer Performance Engineering Computer Performance Engineering
7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings
Authors: ,
Format: Paperback
ISBN: 9783642157837 , 3642157831
Computing: General | Network Hardware | Computer Programming / Software Development | Programming & Scripting Languages: General | Software Engineering | Information Retrieval | Computer Networking & Communications | Computer Architecture & Logic Design |


Formal Methods for Model-Driven Engineering Formal Methods for Model-Driven Engineering
12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
Authors: ,
Format: Paperback
ISBN: 9783642309816 , 364230981X
Knowledge Management | Mathematical Logic | Computing: General | Internet Searching | Maintenance & Repairs | Operating Systems | Computer Programming / Software Development | Compilers | Programming & Scripting Languages: General | Software Engineering | Information Retrieval | Mathematical Theory Of Computation | Information Architecture |


Formal Methods for the Design of Real-Time Systems Formal Methods for the Design of Real-Time Systems
International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures
Authors: ,
Format: Paperback
ISBN: 9783540230687 , 3540230688
History Of The Americas | Network Hardware | Computer Programming / Software Development | Programming & Scripting Languages: General | Software Engineering | Computer Science | Systems Analysis & Design | Computer Architecture & Logic Design | Expert Systems / Knowledge based Systems |

Formal Methods for Quantitative Aspects of Programming Languages Formal Methods for Quantitative Aspects of Programming Languages
10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures
Authors: ,
Format: Paperback
ISBN: 9783642136771 , 364213677X
Immunology | Mathematical Logic | Computing: General | Maintenance & Repairs | Computer Programming / Software Development | Programming & Scripting Languages: General | Software Engineering | Mathematical Theory Of Computation |

Formal Methods for Multicore Programming Formal Methods for Multicore Programming
15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
Authors: ,
Format: Paperback
ISBN: 9783319189406 , 3319189409
Mathematical Logic | Mathematical & Statistical Software | Computer Programming / Software Development | Programming & Scripting Languages: General | Software Engineering | Mathematical Theory Of Computation | Maths For Computer Scientists |

Formal Methods for Web Services Formal Methods for Web Services
9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
Authors: ,
Format: Paperback
ISBN: 9783642019173 , 364201917X
Computing: General | Internet Searching | Maintenance & Repairs | Operating Systems | Computer Programming / Software Development | Compilers | Programming & Scripting Languages: General | Software Engineering | Information Retrieval | Computer Networking & Communications | Computer Science | Systems Analysis & Design |

Formal Methods for Executable Software Models 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
Authors: ,
Format: Paperback
ISBN: 9783319073163 , 3319073168
Computer Programming / Software Development | Programming & Scripting Languages: General | Software Engineering | Computer Science |

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
Authors: ,
Format: Paperback
ISBN: 9783319340951 , 3319340956
Software Engineering |

Formal Methods for Dynamical Systems Formal Methods for Dynamical Systems
13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
Authors: ,
Format: Paperback
ISBN: 9783642388736 , 3642388736
Computer Programming / Software Development | Software Engineering | Computer Science | User Interface Design & Usability |

Formal Methods for Dynamical Systems Formal Methods for Dynamical Systems
13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
Authors: ,
Format: Paperback
ISBN: 9783642388750 , 3642388752
Computer Programming / Software Development | Software Engineering | Computer Science |



More results:
1 - 2

Recently viewed


Disclaimer

While I have tried my best, there is no guarantee that the data shown on this site (book prices or postage) are accurate. Always check the prices and postage on the web site before making any purchase. Please also note that including a site in the search result does not indicate any endorsement by this site or its owner. I may not have ever brought a book from them. But no-one ever reads the small print, so I'm probably the only one who knows this.

Copyright (C) 2010 - 2021 Build And Deliver Pty Ltd . All rights reserved.
Hey Bro, Kiwis can compare book prices in NZ
G'day mate, compare book prices in the Australia
Namastē, Compare book prices in India
oei,Singaporeans can compare local book prices too!
Cor blimey, compare book prices in the UK