Staff View for: Leveraging applications of formal method

 Staff view

You must be logged in to Tag Records

Leveraging applications of formal methods [electronic resource] : first international symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004 : revised selected papers /

Tiziana Margaria, Bernhard Steffen (eds.).

Book Cover
Names: Margaria-Steffen, Tiziana, | Steffen, Bernhard.
Published: Berlin ; Springer, c2006.
Series: Lecture notes in computer science, 4313
Topics: Formal methods (Computer science) - Congresses.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


000 01665cam a2200361Ia 4500
001 11238585
005 20100426215810.0
006 m d
008 061110s2006 gw a sb 101 0 eng d
016 7 |a981567282|2GyFmDB
020 |a9783540489283 (pbk.)
020 |a3540489282 (pbk.)
035 |a(Spri)spr75927640e
035 |a(SICdb)2120573
040 |aOHX|cOHX|dBAKER|dCUS|dYDXCP|dC$Q|dDLC|dIXA|dBTCTA|dLVB|dAU@|dSICdb
049 |aILLA
050 00|aQA76.9.F67|bI78 2004
072 7|aQA|2lcco
082 04|a005.12|222
111 2 |aISoLA 2004|d(2004 :|cPaphos, Cyprus)
245 10|aLeveraging applications of formal methods |h[electronic resource] :|bfirst international symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004 : revised selected papers /|cTiziana Margaria, Bernhard Steffen (eds.).
246 30|aISoLA 2004
260 |aBerlin ;|aNew York :|bSpringer,|cc2006.
300 |a1 online resource (viii, 196 p. ) :|bill.
440 0|aLecture notes in computer science,|x0302-9743 ;|v4313
504 |aIncludes bibliographical references and index.
650 0|aFormal methods (Computer science)|vCongresses.
700 1 |aMargaria-Steffen, Tiziana,|d1964-
700 1 |aSteffen, Bernhard.
856 40|3SpringerLink|uhttp://proxy.lib.siu.edu/login?url=http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4313|zAvailable to current SIUC students, faculty, and staff.
856 41|3Table of contents only|uhttp://www.loc.gov/catdir/toc/fy0710/2006935874.html
856 42|3Publisher description|uhttp://www.loc.gov/catdir/enhancements/fy0825/2006935874-d.html
994 |a92|bILL

Staff View for: Leveraging applications of formal method