Hoppa vidare till huvudinnehållet

Come join our latest LibraryThing Hunt!

Författarbild

Jonathan Jacky

Författare till The Way of Z: Practical Programming with Formal Methods

3 verk 47 medlemmar 0 recensioner

Verk av Jonathan Jacky

Populära Nyliga

The Way of Z: Practical Programming with Formal Methods (1996) 26 exemplar

Model-Based Software Testing and Analysis with C# (2007) 20 exemplar

Directions and Implications of Advanced Computing (Diac-87) (1989) 1 exemplar

Verksförteckning

Taggad

2012-0205 (1) 2014-0913 (1) 9780131480056 (1) @work (1) ACM Books 24/7 (1) C# (1) Cambridge University Press (2) datavetenskap (3) dator (1) e-bok (2) formal methods (2) formal systems (1) logik (2) Mike (1) model checking (1) Méthodes Formelles (1) pdfByPublishersCUP (1) programmering (4) programvaruutveckling (1) teknik (1) testing (1) uncategorized (1) Z (2)

Taggöversättning är påslagen

Allmänna fakta

Kön: male

Medlemmar

Statistik

Verk: 3
Medlemmar: 47
Popularitet: #330,643
Betyg: 3.0

ISBN: 10

Bilder

Författargalleri

Länkar

Medhjälparcenter

LibraryThings medlemmar förbättrar informationen genom att kombinera författarnamn och verk, separera författare med samma namn, med mera.

Medhjälparcenter

Är detta du?

Bli LibraryThing-författare.

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson

Denna webbplats använder kakor för att fungera optimalt, analysera användarbeteende och för att visa reklam (om du inte är inloggad). Genom att använda LibraryThing intygar du att du har läst och förstått våra Regler och integritetspolicy. All användning av denna webbplats lyder under dessa regler.