Search Results for Mathematical logic.

98 Results Found

1 2 3 4 5 .. 9

000000000000DEFAULT

Handbook of Model Checking

Author

Clarke, Edmund M. editor. Henzinger, Thomas A. editor. Veith, Helmut. editor. Bloem, Roderick. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-10575-8

Format:

Availability

Online Library~1

Available:
Copies:

Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi

Author

Iida, Shusaku. editor. Meseguer, José. editor. Ogata, Kazuhiro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-642-54624-2

Format:

Availability

Online Library~1

Available:
Copies:

Refinement in Z and Object-Z Foundations and Advanced Applications

Author

Derrick, John. author. Boiten, Eerke A. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-1-4471-5355-9

Format:

Availability

Online Library~1

Available:
Copies:

Artificial General Intelligence 7th International Conference, AGI 2014, Quebec City, QC, Canada, August 1-4, 2014, Proceedings

Author

Goertzel, Ben. editor. Orseau, Laurent. editor. Snaider, Javier. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-09274-4

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Author

Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-642-54862-8

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings

Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings

Author

Merz, Stephan. editor. Pang, Jun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-11737-9

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Author

Escobar, Santiago. editor. (orcid)0000-0002-3550-4781 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-12904-4

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

Author

Fiadeiro, José Luiz. editor. Liu, Zhiming. editor. Xue, Jinyun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-07602-7

Format:

Availability

Online Library~1

Available:
Copies:

Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings

Author

Giese, Holger. editor. König, Barbara. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-09108-2

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings

Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings

Author

Biere, Armin. editor. (orcid)0000-0001-7170-9242 Bloem, Roderick. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-08867-9

Format:

Availability

Online Library~1

Available:
Copies:

11.

Model-Based Safety and Assessment 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings

Author

Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142 Rauzy, Antoine. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-12214-4

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings

Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings

Author

Yahav, Eran. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-13338-6

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 9

	{displayName}	{count}
{error}