Your search returned 26 results.

Results
		Z : an introduction to formal methods / Antoni Diller by Diller, Antoni Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Chichester, West Sussex, England ; New York : Wiley, 1994 Online resources: Table of Contents Availability: Items available for loan: UMPLIB PEKAN (1)Call number: QA76.73.Z2 D54 1994. Place hold Log in to add tags Add to cart (remove)
		Web services and formal methods : third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings / Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro (eds.) by WS-FM 2006 (3rd. : 2006 : Vienna, Austria) Bravetti, Mario Núñez, Manuel Zavattaro, Gianluigi Series: Lecture notes in computer science ; 4184 Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Berlin : Springer, 2006 Availability: Items available for loan: UMPLIB PEKAN (1)Call number: TK5105.88813 .W7 2006. Place hold Log in to add tags Add to cart (remove)
		The way of Z : practical programming with formal methods / Jonathan Jacky by Jacky, Jonathan Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Cambridge ; New York, NY, USA : Cambridge University Press, 1997 Availability: Items available for loan: UMPLIB PEKAN (1)Call number: QA76.73.Z2 J33 1997. Place hold Log in to add tags Add to cart (remove)
		Understanding formal methods / written and translated by Jean Francois Monin ; translation editor by Michael G. Hinchey by Monin, Jean-Francois Hinchey, Michael G Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Berlin, Germany : Springer, c2003 Availability: Items available for loan: UMPLIB PEKAN (1)Call number: QA76.6 .M66 2003. Place hold Log in to add tags Add to cart (remove)
		Teamwork in multi-agent systems : a formal approach / Barbara Dunin-Keplicz, Rineke Verbrugge by Dunin-Kȩplicz, Barbara Verbrugge, Rineke Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Hoboken, N. J. : John Wiley, c2010 Availability: Items available for loan: UMPLIB PEKAN (1)Call number: QA76.76.I58 D865 2010. Place hold Log in to add tags Add to cart (remove)
		Software specification methods / edited by Henri Habrias, Marc Frappier by Habrias, Henri Frappier, Marc, 1965- Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: London ; Newport Beach, CA : ISTE Ltd, 2006 Availability: Items available for loan: UMPLIB PEKAN (1)Call number: QA76.9.F67 S64 2006. Place hold Log in to add tags Add to cart (remove)
		Process algebra for parallel and distributed processing / edited by Michael Alexander, William Gardner by Alexander, Michael Gardner, William Series: Chapman & Hall/CRC computational science series Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Boca Raton : CRC Press, c2009 Online resources: Table of contents only Availability: Items available for loan: UMPLIB PEKAN (1)Call number: QA76.58 .P76 2009. Place hold Log in to add tags Add to cart (remove)
		A pragmatic introduction to the finite element method for thermal and stress analysis : with the matlab toolkit SOFEA / Petr Krysl. by Krysl, Petr Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Hackensack, N.J. : World Scientific, c2006 Availability: Items available for loan: UMPLIB PEKAN (1)Call number: QA76.9.F67 K79 2006. Place hold Log in to add tags Add to cart (remove)
		Practical UML statecharts in C/C++ : event-driven programming for embedded systems / Miro Samek by Samek, Miro Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Amsterdam ; Boston : Newnes/Elsevier, c2009 Availability: Items available for loan: UMPLIB PEKAN (1)Call number: QA76.9.S88 S26 2009. Place hold Log in to add tags Add to cart (remove)
		Modern formal methods and appilcations / edited by Hossam A. Gabbar by Gabbar, Hossam A Material type: Text; Format: print ; Literary form: Not fiction Publication details: Dordrecht : Springer, 2006 Availability: Items available for loan: UMPLIB GAMBANG (1)Call number: QA 76.9 .F67 M63 2006 \| QA76.9.F67 M63 2006. Place hold Log in to add tags Add to cart (remove)
		Modeling in Event-B : system and software engineering / Jean-Raymond Abrial by Abrial, Jean-Raymond Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Cambridge ; New York : Cambridge University Press, 2010 Availability: Items available for loan: UMPLIB PEKAN (1)Call number: QA76.9.F67 A27 2010. Place hold Log in to add tags Add to cart (remove)
		Modeling and verification using UML statecharts : a working guide to reactive system design, runtime monitoring and execution-based model checking / Doron Drusinsky by Drusinsky, Doron Material type: Text; Format: print ; Literary form: Not fiction Publication details: Amsterdam : Newnes, 2006 Other title: Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring and execution-based model checking Availability: Items available for loan: UMPLIB GAMBANG (1)Call number: CD 2217 \| QA76.76.D47 D78 2006. UMPLIB PEKAN (1)Call number: QA76.76.D47 D78 2006. Place hold Log in to add tags Add to cart (remove)
		Modeling and verification of real-time systems : formalisms and software tools / edited by Stephen Merz, Nicolas Navet by Merz, Stephen Navet, Nicolas Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: London ; Hoboken, NJ : ISTE/John Wiley, c2008 Availability: Items available for loan: UMPLIB PEKAN (1)Call number: QA76.54 .M63 2008. Place hold Log in to add tags Add to cart (remove)
		Languages, design methods, and tools for electronic system design : selected contributions from FDL 2018 / Tom J. Kazmierski, Sebastian Steinhorst, Daniel Große, editors by Kaźmierski, Thomas J [editor.] Steinhorst, Sebastian [editor.] Grosse, Daniel [editor.] Series: Lecture notes in electrical engineering ; v. 611 Material type: Text; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Publisher: Cham : Springer, 2020 Other title: FDL 2018 Online resources: Off-campus link Click here (Direct link) Availability: Items available for loan: UMPLIB PEKAN (1)Call number: QA76.9 .L36 2020. Place hold Log in to add tags Add to cart (remove)
		Industrial used of formal method : formal verification / edited by Jean-Louis Boulanger by Boulanger, Jean-Louis Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Hoboken, NJ : Wiley, 2012 Availability: Items available for loan: UMPLIB GAMBANG (1)Call number: TA168 .I53 2012. Place hold Log in to add tags Add to cart (remove)
		Foundations of algebraic specification and formal software development / Donald Sannella, Andrzej Tarlecki by Sannella, D Tarlecki, Andrzej Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Heidelberg ; New York : Springer, c2012 Availability: Items available for loan: UMPLIB PEKAN (1)Call number: QA76.9.M35 S26 2012. Place hold Log in to add tags Add to cart (remove)
		Formal techniques for networked and distributed systems : FORTE 2007 : 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007 : proceedings / John Derrick, Jüri Vain (eds.). by FORTE 2007 (2007 : Tallinn, Estonia) Derrick, John Vain, Jüri IFIP Working Group 6.1 Series: Lecture notes in computer science ; 4574 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Boca Raton : Springer , 2007 Other title: FORTE 2007 Availability: Items available for loan: UMPLIB PEKAN (1)Call number: QA76.9.F67 F67 2007. Place hold Log in to add tags Add to cart (remove)
		Formal modeling and analysis of timed systems : 4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 : proceedings / Eugene Asarin, Patricia Bouyer (eds.) by FORMATS 2006 Paris, France), 2006 Asarin, Eugene Bouyer, Patricia Series: Lecture notes in computer science ; 4202 Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Berlin : Springer, 2006 Availability: Items available for loan: UMPLIB PEKAN (1)Call number: QA76.9.C65 F67 2006. Place hold Log in to add tags Add to cart (remove)
		Formal modeling : actors, open systems, biological systems ; essays dedicated to CarolynTalcott on the occasion of her 70th birthday / Gul Agha, Olivier Danvy, José Meseguer (Eds.) by Agha, Gul Danvy, Olivier Meseguer, José Series: Lecture notes in computer science Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Berlin, Germany : Springer, c2011 Availability: Items available for loan: UMPLIB PEKAN (1)Call number: QA76.9.F67 F67 2011. Place hold Log in to add tags Add to cart (remove)
		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 28 - June 2, 2007 ; advanced lectures / Marco Bernardo, Jane Hillston (eds.) by International School on Formal Methods for the Design of Computer, Communication, and Software Systems (7th : 2007 : Bertinoro, Italy) Bernardo, Marco Hillston, J. (Jane), 1963- Series: Lecture notes in computer science ; 4486. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Berlin : Springer, 2007 Other title: SFM 2007. Online resources: Connect to resource online Availability: Items available for loan: UMPLIB PEKAN (1)Call number: QA76.9.F67 I58 2007. Place hold Log in to add tags Add to cart (remove)

Refine your search

Custom search filters

Availability

Authors

Holding libraries

Item types

Series

Topics

Titles

Your search returned 26 results.