Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Domain Modeling and the Duration Calculus [Risorsa elettronica] : International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures / edited by Chris W. George, Zhiming Liu, Jim Woodcock
| Domain Modeling and the Duration Calculus [Risorsa elettronica] : International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures / edited by Chris W. George, Zhiming Liu, Jim Woodcock |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2007 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540749646 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009237700403321 |
| Berlin ; Heidelberg : Springer, 2007 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Methods and Hybrid Real-Time Systems [Risorsa elettronica] : Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays / edited by Cliff B. Jones, Zhiming Liu, Jim Woodcock
| Formal Methods and Hybrid Real-Time Systems [Risorsa elettronica] : Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays / edited by Cliff B. Jones, Zhiming Liu, Jim Woodcock |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2007 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540752219 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009252400403321 |
| Berlin ; Heidelberg : Springer, 2007 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Methods: Foundations and Applications [Risorsa elettronica] : 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers / edited by Marcel Vinícius Medeiros Oliveira, Jim Woodcock
| Formal Methods: Foundations and Applications [Risorsa elettronica] : 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers / edited by Marcel Vinícius Medeiros Oliveira, Jim Woodcock |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2009 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783642104527 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009263560403321 |
| Berlin ; Heidelberg : Springer, 2009 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Refinement Techniques in Software Engineering [Risorsa elettronica] : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures / edited by Ana Cavalcanti, Augusto Sampaio
| Refinement Techniques in Software Engineering [Risorsa elettronica] : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures / edited by Ana Cavalcanti, Augusto Sampaio |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2006 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540462545 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009246410403321 |
| Berlin ; Heidelberg : Springer, 2006 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software engineering mathematics : formal methods demystified / J. Woodcock, M. Loomes
| Software engineering mathematics : formal methods demystified / J. Woodcock, M. Loomes |
| Autore | Woodcock, Jim |
| Pubbl/distr/stampa | London : Pitman, 1988 |
| Descrizione fisica | 291 p. ; 24 cm |
| Disciplina | 005.131 |
| Altri autori (Persone) | Loomes, Martin |
| Soggetto non controllato | InformaticaApplicazioni dell'analisi numerica |
| ISBN | 0273026739 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIPARTHENOPE-000017754 |
Woodcock, Jim
|
||
| London : Pitman, 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Parthenope | ||
| ||
Theoretical Aspects of Computing – ICTAC 2007 [Risorsa elettronica] : 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings / edited by Cliff B. Jones, Zhiming Liu, Jim Woodcock
| Theoretical Aspects of Computing – ICTAC 2007 [Risorsa elettronica] : 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings / edited by Cliff B. Jones, Zhiming Liu, Jim Woodcock |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2007 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540752929 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009247660403321 |
| Berlin ; Heidelberg : Springer, 2007 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Verified Software: Theories, Tools, Experiments [Risorsa elettronica] : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Natarajan Shankar, Jim Woodcock
| Verified Software: Theories, Tools, Experiments [Risorsa elettronica] : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Natarajan Shankar, Jim Woodcock |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2008 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540878735 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009257420403321 |
| Berlin ; Heidelberg : Springer, 2008 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Verified Software: Theories, Tools, Experiments [Risorsa elettronica] : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions / edited by Bertrand Meyer, Jim Woodcock
| Verified Software: Theories, Tools, Experiments [Risorsa elettronica] : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions / edited by Bertrand Meyer, Jim Woodcock |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2008 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540691495 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009253600403321 |
| Berlin ; Heidelberg : Springer, 2008 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||