Beispielbild für diese ISBNTyped Lambda Calculi and Applications - 7th International Conference, TLCA 2005, Nara, Japan, Apri…
Verlag: Springer
2005 Kartoniert, 452 Seiten, 235mm x 155mm x 25mm, Sprache(n): eng
60,88 EUR
Beispielbild für diese ISBNVerification, Model Checking, and Abstract Interpretation - 7th International Conference, VMCAI 20…
Verlag: Springer
2005 Kartoniert, 460 Seiten, 235mm x 155mm x 25mm, Sprache(n): eng Proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2006 27 revised full papers feature current research Coverage includes model checking and abstract interpre…
60,88 EUR
Beispielbild für diese ISBNUnifying Theories of Programming - 7th International Symposium, UTP 2019, Dedicated to Tony Hoare…
Verlag: Springer
2019 Kartoniert, 232 Seiten, 235mm x 155mm x 13mm, Sprache(n): eng Written by well-known expertsHigh quality selected papersHonorary volume dedicated to Tony Hoare on the Occasion of His 85th Birthday
60,88 EUR
Beispielbild für diese ISBNFrom Lambda Calculus to Cybersecurity Through Program Analysis - Essays Dedicated to Chris Hankin…
Verlag: Springer
2020 Kartoniert, 308 Seiten, 235mm x 155mm x 17mm, Sprache(n): eng Honorary volume dedicated to Chris Hankin on Occasion to His 65th birthdayWritten by well-known expertsFeatures the broad range of Chris Hankin research topics
60,88 EUR
Beispielbild für diese ISBNApplied Semantics - International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2…
Verlag: Springer
2002 Kartoniert, 552 Seiten, 235mm x 155mm x 30mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
60,88 EUR
Beispielbild für diese ISBNVerification, Model Checking, and Abstract Interpretation - 9th International Conference, VMCAI 20…
Verlag: Springer
2008 Kartoniert, 340 Seiten, 235mm x 155mm x 19mm, Sprache(n): eng
60,88 EUR
Unifying Theories of Programming - 5th International Symposium, UTP 2014, Singapore, May 13, 2014,…
Verlag: Springer
2015 Kartoniert, 156 Seiten, 235mm x 155mm x 9mm, Sprache(n): eng Up-to-date resultsFast track conference proceedingsState-of-the-art reportIncludes supplementary material: sn.pub/extras
48,72 EUR
Beispielbild für diese ISBNTheoretical Aspects of Computer Software - Third International Symposium, TACS'97, Sendai, Japan,…
Verlag: Springer
1997 Kartoniert, 660 Seiten, 235mm x 155mm x 36mm, Sprache(n): eng
121,78 EUR
Beispielbild für diese ISBNMathematics of Program Construction - 4th International Conference, MPC'98, Marstrand, Sweden, Jun…
Verlag: Springer
1998 Kartoniert, 404 Seiten, 235mm x 155mm x 22mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
60,88 EUR
Beispielbild für diese ISBNComputer Science Logic - 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993.…
Verlag: Springer
1994 Kartoniert, 356 Seiten, 235mm x 155mm x 20mm, Sprache(n): eng
