Cargando…

Understanding formal methods /

Detalles Bibliográficos
Autor principal:	Monin, Jean François, 1960-
Otros Autores:	Hinchey, Michael G. (Michael Gerard), 1969-
Formato:	Libro
Lenguaje:	English French
Publicado:	London ; New York : Springer, c2003.
Materias:	Métodos formales (Informática).

Ejemplares similares

Z : an introduction to formal methods /
por: Diller, Antoni
Publicado: (1994)

The way of Z : practical programming with formal methods /
por: Jacky, Jonathan
Publicado: (1997)

Formal commentary
por: Aguirre, Gustavo D., et al.
Publicado: (2020)

Response to formal comment on Myhrvold (2016) submitted by Griebeler and Werner (2017)
por: Myhrvold, Nathan P.
Publicado: (2018)

Formal Comment: Romer study fails at following core principles of reanalysis
por: Bridge, Jeffrey A., et al.
Publicado: (2020)

Reply to formal comment on Griffiths et al. (2017) submitted by Gajewski (2020)
por: Griffiths, Katherine, et al.
Publicado: (2021)

Formal comment on “Systematic review of the predictors of statin adherence for the primary prevention of cardiovascular disease”
por: Diamond, David M., et al.
Publicado: (2019)

Introduction to formal languages
por: Révész, György E.
Publicado: (1991)

Rebuttal to the Formal Comment on Schorr et al. (2014) submitted by Tyack et al. (2015)
por: Schorr, Gregory S., et al.
Publicado: (2015)

Formal comment on “Assessing the impact of the ‘one-child policy’ in China: A synthetic control approach”
por: Goodkind, Daniel
Publicado: (2019)

Formal Comment to Pettengill: The Time to Most Recent Common Ancestor Does Not (Usually) Approximate the Date of Divergence
por: Achtman, Mark, et al.
Publicado: (2015)

Estimating the total prevalence of PTSD among the UK police force: Formal comment on Stevelink et al. (2020)
por: Brewin, Chris R., et al.
Publicado: (2022)

Estimating the total prevalence of PTSD among the UK police force: Formal comment on Brewin, Miller and Burchell (2022)
por: Stevelink, Sharon A. M., et al.
Publicado: (2022)

Formal comment on: Parent reports of adolescents and young adults perceived to show signs of a rapid onset of gender dysphoria
por: Brandelli Costa, Angelo
Publicado: (2019)

Formal comment on: Myhrvold (2016) Dinosaur metabolism and the allometry of maximum growth rate. PLoS ONE; 11(11): e0163205
por: Griebeler, Eva Maria, et al.
Publicado: (2018)

Nociones sobre las gramáticas formales
por: Gross, Maurice
Publicado: (1976)

Evaluación formal de SICOVE (sistema de control vehicular)/
por: Murrieta Sangabriel, Elizabeth
Publicado: (2008)

Formal comment on: Piscine reovirus: Genomic and molecular phylogenetic analysis from farmed and wild salmonids collected on the Canada/US Pacific Coast
por: Kibenge, Molly J. T., et al.
Publicado: (2017)

Formal Comment; Tracing the source of infection of cystic and alveolar echinococcosis, neglected parasitic infections with long latency: The shaky road of “evidence” gathering
por: Torgerson, Paul R., et al.
Publicado: (2021)

Formal comment to Soler et al.: Great spotted cuckoo nestlings have no antipredatory effect on magpie or carrion crow host nests in southern Spain
por: Canestrari, Daniela, et al.
Publicado: (2017)

Formal groups
por: Fr"hlch, A.
Publicado: (1968)

Introducción al DOS 6
por: Jamsa, Kris, 1960-
Publicado: (1993)

Response to the Formal Letter of Z. Chrzanowska-Lightowlers and R. N. Lightowlers Regarding Our Article “Ribosome Rescue and Translation Termination at Non-Standard Stop Codons by ICT1 in Mammalian Mitochondria”
por: Takeuchi, Nono, et al.
Publicado: (2015)

Formal Comment on “Mitigation of endemic GI-tract pathogen-mediated inflammation through development of multimodal treatment regimen and its impact on SIV acquisition in rhesus macaques” by Bochart et al. (2021)
por: Bohm, Rudolf P., et al.
Publicado: (2022)

Consistency of Published Results on the Pathogen Batrachochytrium dendrobatidis in Madagascar: Formal Comment on Kolby et al. Rapid Response to Evaluate the Presence of Amphibian Chytrid Fungus (Batrachochytrium dendrobatidis) and Ranavirus in Wild Amphibian Populations in Madagascar
por: Bletz, Molly C., et al.
Publicado: (2015)

Acute apnea and white blood cell count: A biphasic response formal comment on ‘Hematologic changes after short term hypoxia in non-elite apnea divers under voluntary dry apnea conditions’
por: Bouten, Janne, et al.
Publicado: (2021)

Formal comment to Toyota et al.: Short versus prolonged dual antiplatelet therapy (DAPT) duration after coronary stent implantation: A comparison between the DAPT study and 9 other trials evaluating DAPT duration
por: Elmariah, Sammy
Publicado: (2017)

Formal Comment to Gong et al.: Ecosystem Scale Acoustic Sensing Reveals Humpback Whale Behavior Synchronous with Herring Spawning Processes and Re-Evaluation Finds No Effect of Sonar on Humpback Song Occurrence in the Gulf of Maine in Fall 2006
por: Risch, Denise, et al.
Publicado: (2014)

Formal verification of Matrix based MATLAB models using interactive theorem proving
por: Gauhar, Ayesha, et al.
Publicado: (2021)

Aplicación de técnicas y métodos formales e ingeniería reversa para la construcción de sistemas de información
por: Contreras Rodríguez, Juan Javier
Publicado: (1997)

Formal Comment on Schorr GS, Falcone EA, Moretti DJ, Andrews RD (2014) First Long-Term Behavioral Records from Cuvier’s Beaked Whales (Ziphius cavirostris) Reveal Record-Breaking Dives. PLoS ONE 9(3): e92633. doi:10.1371/journal.pone.0092633
por: Tyack, Peter L., et al.
Publicado: (2015)

Functional programming /
por: Field, Anthony J., 1960-
Publicado: (1988)

Models of computation and formal languages /
por: Taylor, Ralph Gregory
Publicado: (1998)

The limitations, dangers, and benefits of simple methods for testing identifiability
por: Castro, Mario, et al.
Publicado: (2021)

Fast track UML 2.0 /
por: Scott, Kendall, 1960-
Publicado: (2004)

Mystery or method? Evaluating claims of increased energy expenditure during a ketogenic diet
por: Hall, Kevin D.
Publicado: (2019)

On testing structural identifiability by a simple scaling method: Relying on scaling symmetries can be misleading
por: Villaverde, Alejandro F., et al.
Publicado: (2021)

Only a topological method can identify all possible network structures capable of Robust Perfect Adaptation
por: Araujo, Robyn P., et al.
Publicado: (2023)

Interrelation between the formal and informal learning of the jazz musician
por: Rodríguez Alarcón, Jesús
Publicado: (2019)

Dictionnaire de l'informatique et des sciences de l'information /
por: Ganascia, Jean-Gabriel
Publicado: (1998)

Cannot write session to /tmp/vufind_sessions/sess_qaof5ah0t3kjna31pj9l5ul3jm