Search for 'su:"Formal methods Computer science"'

Z : an introduction to formal methods /

]]> By Diller, Antoni.
Chichester, West Sussex, England ; | New York : Wiley, 1994 .
xix, 374 p. : 25 cm..
0471939730

Web services and formal methods : third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings /

]]> Berlin : Springer, 2006 .
287 p. : 24 cm..
3540388621 | 9783540388623

]]> Place hold on Web services and formal methods :

The way of Z : practical programming with formal methods /

]]> By Jacky, Jonathan.
Cambridge ; | New York, NY, USA : Cambridge University Press, 1997 .
xviii, 350 p. : 25 cm..
9780521559768

]]> Place hold on The way of Z :

Understanding formal methods /

]]> By Monin, Jean-Francois.
Berlin, Germany : Springer, 2003 .
xv, 275 p. ; 24 cm..
9781852332471

]]> Place hold on Understanding formal methods /

Teamwork in multi-agent systems : a formal approach /

]]> By Dunin-Kȩplicz, Barbara.
Hoboken, N. J. : John Wiley, 2010 .
xix, 224 p. : 25 cm..
9780470699881

]]> Place hold on Teamwork in multi-agent systems :

Software specification methods /

]]> London ; | Newport Beach, CA : ISTE Ltd, 2006 .
xxv, 418 p. : 25 cm..
1905209347

]]> Place hold on Software specification methods /

Process algebra for parallel and distributed processing /

]]> Boca Raton : CRC Press, 2009 .
xxii, 415 p. , "A Chapman & Hall book." 25 cm..
9781420064865 (alk. paper) | 142006486X (alk. paper)

]]> Place hold on Process algebra for parallel and distributed processing /

A pragmatic introduction to the finite element method for thermal and stress analysis : with the matlab toolkit SOFEA /

]]> By Krysl, Petr..
Hackensack, N.J. : World Scientific, 2006 .
xii, 278 p. : 24 cm..
981256876X (hbk.) | 9789812568762 (hbk.) | 9812704116 (pbk.) | 9789812704115 (pbk.)

]]> Place hold on A pragmatic introduction to the finite element method for thermal and stress analysis :

Practical UML statecharts in C/C++ : event-driven programming for embedded systems /

]]> By Samek, Miro.
Amsterdam ; | Boston : Newnes/Elsevier, 2009 .
xxxi, 712 p. : , Previous ed.: Lawrence, Kan. : CMP Books, c2002 24 cm..
9780750687065 (pbk.) | 0750687061 (pbk.)

]]> Place hold on Practical UML statecharts in C/C++ :

Modern formal methods and appilcations /

]]> Dordrecht : Springer, 2006 .
197 p. : 25 cm..
1402042221

]]> Place hold on Modern formal methods and appilcations /

Modeling in Event-B : system and software engineering /

]]> By Abrial, Jean-Raymond.
Cambridge ; | New York : Cambridge University Press, 2010 .
xxvi, 586 p. : 26 cm..
9780521895569 (hbk.) | 0521895561 (hbk.)

]]> Place hold on Modeling in Event-B :

Modeling and verification using UML statecharts : a working guide to reactive system design, runtime monitoring and execution-based model checking /

]]> By Drusinsky, Doron.
Amsterdam : Newnes, 2006 .
xii, 294, 302, 306p. : 23 cm. +.
0750679492

]]> Place hold on Modeling and verification using UML statecharts :

Modeling and verification of real-time systems : formalisms and software tools /

]]> London ; | Hoboken, NJ : ISTE/John Wiley, 2008 .
393 p. : 24 cm..
9781848210134

]]> Place hold on Modeling and verification of real-time systems :

Languages, design methods, and tools for electronic system design : selected contributions from FDL 2018 /

]]> Cham : Springer, 2020 .
1 online resource , Includes index 9783030315856

]]> Place hold on Languages, design methods, and tools for electronic system design :

Industrial used of formal method : formal verification /

]]> Hoboken, NJ : Wiley, 2012 .
xv, 298 p. : 24 cm..
9781848213630

]]> Place hold on Industrial used of formal method :

Foundations of algebraic specification and formal software development /

]]> By Sannella, D..
Heidelberg ; | New York : Springer, 2012 .
xvi, 581 p. : 25 cm..
9783642173356 | 3642173357 | 9783642173363 (electronic bk.) | 3642173365 (electronic bk.)

]]> Place hold on Foundations of algebraic specification and formal software development /

Formal techniques for networked and distributed systems : FORTE 2007 : 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007 : proceedings /

]]> Boca Raton : Springer , 2007 .
Berlin ; | New York : c2007..
3540731954 (pbk.) | 9783540731955 (pbk.)

]]> Place hold on Formal techniques for networked and distributed systems :

Formal modeling and analysis of timed systems : 4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 : proceedings /

]]> By FORMATS 2006.
Berlin : Springer, 2006 .
367 p. : 24 cm..
3540450262 | 9783540450269

]]> Place hold on Formal modeling and analysis of timed systems :

Formal modeling : actors, open systems, biological systems ; essays dedicated to CarolynTalcott on the occasion of her 70th birthday /

]]> Berlin, Germany : Springer, 2011 .
xx, 445 p. : 23 cm..
9783642249327

]]> Place hold on Formal modeling :

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 /

]]> Berlin : Springer, 2007 .
vi, 467 p. : , Lectures. 24 cm..
3540724826 (pbk.) | 9783540724827 (pbk.)

]]> Place hold on Formal methods for performance evaluation :

Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings /

]]> Berlin : Springer, 2006 .
626 p. : 24 cm..
3540474609 | 9783540474609

]]> Place hold on Formal methods and software engineering :

Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings /

]]> Berlin : Springer, 2005 .
496 p. : 24 cm.
3540297979

]]> Place hold on Formal methods and software engineering :

Formal methods : state of the art and new directions /

]]> New York : Springer, 2010 .
xxiii, 273 p. : 24 cm..
9781848827356

]]> Place hold on Formal methods :

Formal methods : applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers /

]]> New York : Springer, 2007 .
x, 361 p. : 24 cm..
9783540709510

]]> Place hold on Formal methods :

Formal and practical aspects of autonomic computing and networking : specification, development, and verification /

]]> Hershey, PA : Information Science Reference, 2012 .
xii, 431 p. : , "Premier reference source"--Cover 29 cm..
9781609608453 (hardcover) | 1609608453 (hardcover) | 9781609608460 (ebook)

]]> Place hold on Formal and practical aspects of autonomic computing and networking :

FM 2006 : formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings /

]]> Berlin : Springer, 2006 .
620 p. : 24 cm..
3540372156 | 9783540372158

]]> Place hold on FM 2006 : formal methods :